|
|
|
|
|
|
by bPspGiJT8Y
1097 days ago
|
|
|
I agree, in Kitty I'd have to hit C-S-u and then type fora... to get ∀. Good thing I can just type forall and the formatter replaces the keyword with the symbol for me :) Same for transforming othey symbols, like :: and =>, <=, ->, <- into single characters. |
|
|