tamdeyimsel değişken bağlama imi
tamdeyimsel değişken bağlama imi İng. variable-binding sign for formulas
Belli sayıda değişkene uygulandığında bir tamdeyimden bir önerme oluşturan değişken bağlama imi; dizimsel türü: ( )
tamdeyimsel değişken bağlama imi için benzer kelimeler
tamdeyimsel değişken bağlama imi, 32 karakter ile yazılır. Ayrıca,
t harfi ile başlar, i harfi ile biter. Tüm karakter dağılımı ise,
't', 'a', 'm', 'd', 'e', 'y', 'i', 'm', 's', 'e', 'l', ' ', 'd', 'e', 'ğ', 'i', 'ş', 'k', 'e', 'n', ' ', 'b', 'a', 'ğ', 'l', 'a', 'm', 'a', ' ', 'i', 'm', 'i', şeklindedir.
tamdeyimsel değişken bağlama imi kelimesinin tersten yazılışı imi amalğab nekşiğed lesmiyedmat diziliminde gösterilir.