¿Cómo puedo escribir símbolos lógicos como " - " y así sucesivamente en las páginas?
Respuestas
¿Demasiados anuncios?
También puedes importar un archivo como este a 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,⊭Hice un archivo de texto para nombres de entidades de HTML5 basado en http://www.w3.org/TR/xml-entity-names/byalpha.html. Muchas de las abreviaturas son las mismas que los comandos de caracteres de TeX / LaTeX.
Bolo
Puntos
181
En OS X, Apple tiene lo que se llama "Paleta de caracteres" para insertar caracteres especiales como símbolos, letras con acentos, referencias matemáticas, caracteres japoneses, etc.
Puedes encontrar la "Paleta de caracteres" en el menú de Entrada.
Ve a Preferencias del Sistema --> Internacional. Haz clic en 'Menú de Entrada'.
Marca las casillas junto a "Paleta de caracteres" y "Mostrar menú de entrada en la barra de menús" (esto te permitirá acceder a él desde la barra de menús).
Espero que eso ayude.
Marnix van Valen
Puntos
158
Encuentro tanto Ayuda Oficial de Mac como esto.
Básicamente, simplemente presionando Command+Option+T
