Dizimsel değişkenlerle sözedilen dil imlerinden oluşan karma bir deyimin sözeden dilde bir terim olduğunu belirtmek amacıyla deyimin başı ile sonuna konulan köşe imleri. || Yarıanılan bir deyimde sözedilen dil imleri kendini adlandırıcı deyimler olup, deyimdeki tüm bölümler yazılmamış bir dizilim işleviyle bir araya getirilmiştir. Köşe imleri (dizilim işlevi gibi) genellikle yazılmaz. Örn. p=>q kalıbı şu kısaltma adımlarıyla elde edilir: (?)
TDK Mantık Terimleri Sözlüğü