דרך ליצירת ביטויים מתמטיים הנשלטת על ידי כללי קדימת אופרטור ושימוש זוגות של גובלים, כגון סוגריים עגולים, שבה האופרטורים מפוזרים בין האופרנדים, כשכל אופרטור מציין את הפעולה שיש לבצע על האופרנדים, או על התוצאות הביניות הגובלות בו.

דוגמות: 1. A מחובר ל-B והסכום נכפל ב-C. החישוב מיוצג על ידי הביטוי A+B) x C)
2. "וגם" P והתוצאה של R "וגם" Q, מיוצג על ידי הביטוי (Q&R) ‏& P .
תוכיות מלשון "תוך".