Angolo superiore sinistro

Apre una citazione ad angolo, o quasi-citazione. Il filosofo e logico W. V. Quine introdusse la notazione nel 1940 nel libro Mathematical Logic; i logici parlano ancora di angoli di Quine.

Le virgolette comuni nominano esattamente l'espressione racchiusa: «φ ∧ ψ» è una stringa con una fi greca. Gli angoli funzionano come uno stampo: ⌜φ ∧ ψ⌝ significa «la formula ottenuta mettendo ciò che φ rappresenta, poi ∧, poi ciò che ψ rappresenta». Pensa a un modulo da compilare in cui φ e ψ sono gli spazi vuoti.

Nei libri sui teoremi di incompletezza di Gödel la coppia ha un secondo compito: ⌜φ⌝ indica il numero di Gödel di φ, il codice che permette all'aritmetica di parlare delle proprie formule. Il contesto chiarisce quale lettura vale.

Fuori dalla logica, ⌜ è uno dei quattro angoli (⌜ ⌝ ⌞ ⌟), che i redattori usano talvolta come mezze parentesi o per incorniciare una parola. Da solo sembra incompleto.