syntax "GeqTT" :: "tr => bool" ("(Å_Æ)") "GeqFF" :: "tr => bool" ("(Ç_È)") translations "ÅxÆ" == "x = TT" "ÇxÈ" == "x = FF"