12 lines
163 B
Plaintext
12 lines
163 B
Plaintext
block auto
|
|
abbr tto ->
|
|
abbr ffrom <-
|
|
abbr iip =>
|
|
abbr iib <=
|
|
abbr leq <=
|
|
abbr geq >=
|
|
abbr land /\
|
|
abbr lor \/
|
|
abbr langle ⟨
|
|
abbr rangle \⟩
|