How to type Logic Symbol in Pages?
How can I type logic symbol like "& - → ↔ " and so on in pages?
Solution 1:
You could also import a file like this to TextExpander:
not,¬
or,∨
and,∧
l,←
r,→
lr,↔
ll,⇐
rr,⇒
iff,⇔
all,∀
some,∃
nsome,∄
neq,≠
xor,⊻
nand,⊼
nor,⊽
oplus,⊕
qed,∎
equiv,≡
top,⊤
bot,⊥
vdash,⊢
models,⊨
nmodels,⊭
I made a text file for HTML5 entity names based on http://www.w3.org/TR/xml-entity-names/byalpha.html. Many of the abbreviations are the same as TeX / LaTeX character commands.
Solution 2:
In OS X Apple have whats called the "Character Palette" for inserting special characters such symbols, letters with accents, math references, Japanese characters etc..
You can find the Character Palette in the Input menu.
Go to System Preferences --> International. Click 'Input Menu'.
Click the checkboxes next to Character Palette and "Show Input menu in menu bar" (this will allow you to access it from the menu bar).
Hope that helps.
Solution 3:
I find both Mac Official Help and this.
Basically, just hitting Command+Option+T