Re: cm fonts status - SOLVED - v2

[John Levon]

On Tue, Apr 01, 2003 at 04:56:24PM +0300, Dan Armak wrote:

> Hmm. Looking at it, it provides the mapping of the orig bluesky type1 fonts, 
> not that of the bakoma ones. Why can't lyx use that and the bluesky fonts 
> natively?...

Qt doesn't let us use normal X fonts when using fontconfig, at least on
Red Hat etc.

> This is still WIP due to issue #2 below, but since I'm prolly not going to do 
> anything more with this today, I wanted to update the list. The fonts are at 
> http://cvs.gentoo.org/~danarmak/fonts-v2.tar.bz2 - testing appreciated (last 
> time it took about 10 minutes for the big problems to be found, but this time 
> I've tried to do better testing).

Looks good.

> 1. Quality loss: tolerable for on-screen editing (imo at least).

I think it's fine.

> 2. Some chars won't draw - lyx displays a square instead. This is the major 
> thing left to be fixed.
> 
> A full list of the problematic chars:
> \leq \kappa \circleddash \nleqq \upuparrows

This isn't a full list :)

Attached is a hacked-up lyx document with the symbols from lib/symbols/
It should load into 1.3.x, just ignore the warning

The problematic ones are :

\kappa
\spadesuit
\leq / \le
\upuparrows
\circleddash
\nleqq
\backepsilon

These ones really need to be fixed. It would also be nice if we could
add the ones currently in ERT from wasy, at some point.

regards,
john


#LyX 1.3 created this file. For more info see http://www.lyx.org/
\lyxformat 223
\textclass article
\language english
\inputencoding latin1
\fontscheme default
\graphics default
\paperfontsize default
\spacing single 
\papersize Default
\paperpackage a4
\use_geometry 0
\use_amsmath 0
\use_natbib 0
\use_numerical_citations 0
\paperorientation portrait
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\defskip medskip
\quotes_language english
\quotes_times 2
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes 0
\end_header

\layout Standard


\begin_inset Formula $\acute{}$
\end_inset 


\begin_inset Formula $\bar{}$
\end_inset 


\begin_inset Formula $\breve{}$
\end_inset 


\begin_inset Formula $\check{}$
\end_inset 


\begin_inset Formula $\dddot{}$
\end_inset 


\begin_inset Formula $\ddot{}$
\end_inset 


\begin_inset Formula $\dot{}$
\end_inset 


\begin_inset Formula $\grave{}$
\end_inset 


\begin_inset Formula $\hat{}$
\end_inset 


\begin_inset Formula $\mathring{}$
\end_inset 


\begin_inset Formula $\overbrace{}$
\end_inset 


\begin_inset Formula $\overleftarrow{}$
\end_inset 


\begin_inset Formula $\overleftrightarrow{}$
\end_inset 


\begin_inset Formula $\overline{}$
\end_inset 


\begin_inset Formula $\overrightarrow{}$
\end_inset 


\begin_inset Formula $\tilde{}$
\end_inset 


\begin_inset Formula $\underbar{}$
\end_inset 


\begin_inset Formula $\underbrace{}$
\end_inset 


\begin_inset Formula $\underleftarrow{}$
\end_inset 


\begin_inset Formula $\underleftrightarrow{}$
\end_inset 


\begin_inset Formula $\underline{}$
\end_inset 


\begin_inset Formula $\underrightarrow{}$
\end_inset 


\begin_inset Formula $\vec{}$
\end_inset 


\begin_inset Formula $\widehat{}$
\end_inset 


\begin_inset Formula $\widetilde{}$
\end_inset 


\begin_inset Formula $\dots$
\end_inset 


\begin_inset Formula $\cdots$
\end_inset 


\begin_inset Formula $\ddots$
\end_inset 


\begin_inset Formula $\dotsb$
\end_inset 


\begin_inset Formula $\dotsc$
\end_inset 


\begin_inset Formula $\dotsi$
\end_inset 


\begin_inset Formula $\dotsm$
\end_inset 


\begin_inset Formula $\dotso$
\end_inset 


\begin_inset Formula $\ldots$
\end_inset 


\begin_inset Formula $\vdots$
\end_inset 


\begin_inset Formula $\lyxnegspace$
\end_inset 


\begin_inset Formula $\lyxposspace$
\end_inset 


\begin_inset Formula $\!$
\end_inset 


\begin_inset Formula $\negmedspace$
\end_inset 


\begin_inset Formula $\negthickspace$
\end_inset 


\begin_inset Formula $\,$
\end_inset 


\begin_inset Formula $\:$
\end_inset 


\begin_inset Formula $\;$
\end_inset 


\begin_inset Formula $\quad$
\end_inset 


\begin_inset Formula $\qquad$
\end_inset 


\begin_inset Formula $\alpha$
\end_inset 


\begin_inset Formula $\beta$
\end_inset 


\begin_inset Formula $\gamma$
\end_inset 


\begin_inset Formula $\delta$
\end_inset 


\begin_inset Formula $\epsilon$
\end_inset 


\begin_inset Formula $\zeta$
\end_inset 


\begin_inset Formula $\eta$
\end_inset 


\begin_inset Formula $\theta$
\end_inset 


\begin_inset Formula $\iota$
\end_inset 


\begin_inset Formula $\kappa$
\end_inset 


\begin_inset Formula $\lambda$
\end_inset 


\begin_inset Formula $\mu$
\end_inset 


\begin_inset Formula $\nu$
\end_inset 


\begin_inset Formula $\xi$
\end_inset 


\begin_inset Formula $\pi$
\end_inset 


\begin_inset Formula $\rho$
\end_inset 


\begin_inset Formula $\sigma$
\end_inset 


\begin_inset Formula $\tau$
\end_inset 


\begin_inset Formula $\upsilon$
\end_inset 


\begin_inset Formula $\phi$
\end_inset 


\begin_inset Formula $\chi$
\end_inset 


\begin_inset Formula $\psi$
\end_inset 


\begin_inset Formula $\omega$
\end_inset 


\begin_inset Formula $\varepsilon$
\end_inset 


\begin_inset Formula $\vartheta$
\end_inset 


\begin_inset Formula $\varpi$
\end_inset 


\begin_inset Formula $\varrho$
\end_inset 


\begin_inset Formula $\varsigma$
\end_inset 


\begin_inset Formula $\varphi$
\end_inset 


\begin_inset Formula $\Gamma$
\end_inset 


\begin_inset Formula $\Delta$
\end_inset 


\begin_inset Formula $\Theta$
\end_inset 


\begin_inset Formula $\Lambda$
\end_inset 


\begin_inset Formula $\Xi$
\end_inset 


\begin_inset Formula $\Pi$
\end_inset 


\begin_inset Formula $\Sigma$
\end_inset 


\begin_inset Formula $\Upsilon$
\end_inset 


\begin_inset Formula $\Phi$
\end_inset 


\begin_inset Formula $\Psi$
\end_inset 


\begin_inset Formula $\Omega$
\end_inset 


\begin_inset Formula $\aleph$
\end_inset 


\begin_inset Formula $\imath$
\end_inset 


\begin_inset Formula $\jmath$
\end_inset 


\begin_inset Formula $\ell$
\end_inset 


\begin_inset Formula $\wp$
\end_inset 


\begin_inset Formula $\Re$
\end_inset 


\begin_inset Formula $\Im$
\end_inset 


\begin_inset Formula $\partial$
\end_inset 


\begin_inset Formula $\infty$
\end_inset 


\begin_inset Formula $\prime$
\end_inset 


\begin_inset Formula $\emptyset$
\end_inset 


\begin_inset Formula $\nabla$
\end_inset 


\begin_inset Formula $\top$
\end_inset 


\begin_inset Formula $\bot$
\end_inset 


\begin_inset Formula $\triangle$
\end_inset 


\begin_inset Formula $\forall$
\end_inset 


\begin_inset Formula $\exists$
\end_inset 


\begin_inset Formula $\neg$
\end_inset 


\begin_inset Formula $\lnot$
\end_inset 


\begin_inset Formula $\flat$
\end_inset 


\begin_inset Formula $\natural$
\end_inset 


\begin_inset Formula $\sharp$
\end_inset 


\begin_inset Formula $\clubsuit$
\end_inset 


\begin_inset Formula $\diamondsuit$
\end_inset 


\begin_inset Formula $\heartsuit$
\end_inset 


\begin_inset Formula $\spadesuit$
\end_inset 


\begin_inset Formula $\lyxnot$
\end_inset 


\begin_inset Formula $\coprod$
\end_inset 


\begin_inset Formula $\bigvee$
\end_inset 


\begin_inset Formula $\bigwedge$
\end_inset 


\begin_inset Formula $\biguplus$
\end_inset 


\begin_inset Formula $\bigcap$
\end_inset 


\begin_inset Formula $\bigcup$
\end_inset 


\begin_inset Formula $\int$
\end_inset 


\begin_inset Formula $\prod$
\end_inset 


\begin_inset Formula $\sum$
\end_inset 


\begin_inset Formula $\bigotimes$
\end_inset 


\begin_inset Formula $\bigoplus$
\end_inset 


\begin_inset Formula $\bigodot$
\end_inset 


\begin_inset Formula $\oint$
\end_inset 


\begin_inset Formula $\bigsqcup$
\end_inset 


\begin_inset Formula $\smallint$
\end_inset 


\begin_inset Formula $\triangleleft$
\end_inset 


\begin_inset Formula $\triangleright$
\end_inset 


\begin_inset Formula $\bigtriangleup$
\end_inset 


\begin_inset Formula $\bigtriangledown$
\end_inset 


\begin_inset Formula $\wedge$
\end_inset 


\begin_inset Formula $\land$
\end_inset 


\begin_inset Formula $\vee$
\end_inset 


\begin_inset Formula $\lor$
\end_inset 


\begin_inset Formula $\cap$
\end_inset 


\begin_inset Formula $\cup$
\end_inset 


\begin_inset Formula $\ddagger$
\end_inset 


\begin_inset Formula $\dagger$
\end_inset 


\begin_inset Formula $\sqcap$
\end_inset 


\begin_inset Formula $\sqcup$
\end_inset 


\begin_inset Formula $\uplus$
\end_inset 


\begin_inset Formula $\amalg$
\end_inset 


\begin_inset Formula $\diamond$
\end_inset 


\begin_inset Formula $\bullet$
\end_inset 


\begin_inset Formula $\wr$
\end_inset 


\begin_inset Formula $\div$
\end_inset 


\begin_inset Formula $\odot$
\end_inset 


\begin_inset Formula $\oslash$
\end_inset 


\begin_inset Formula $\otimes$
\end_inset 


\begin_inset Formula $\ominus$
\end_inset 


\begin_inset Formula $\oplus$
\end_inset 


\begin_inset Formula $\mp$
\end_inset 


\begin_inset Formula $\pm$
\end_inset 


\begin_inset Formula $\circ$
\end_inset 


\begin_inset Formula $\bigcirc$
\end_inset 


\begin_inset Formula $\setminus$
\end_inset 


\begin_inset Formula $\cdot$
\end_inset 


\begin_inset Formula $\ast$
\end_inset 


\begin_inset Formula $\times$
\end_inset 


\begin_inset Formula $\star$
\end_inset 


\begin_inset Formula $\propto$
\end_inset 


\begin_inset Formula $\sqsubseteq$
\end_inset 


\begin_inset Formula $\sqsupseteq$
\end_inset 


\begin_inset Formula $\parallel$
\end_inset 


\begin_inset Formula $\mid$
\end_inset 


\begin_inset Formula $\dashv$
\end_inset 


\begin_inset Formula $\vdash$
\end_inset 


\begin_inset Formula $\nearrow$
\end_inset 


\begin_inset Formula $\searrow$
\end_inset 


\begin_inset Formula $\nwarrow$
\end_inset 


\begin_inset Formula $\swarrow$
\end_inset 


\begin_inset Formula $\Leftrightarrow$
\end_inset 


\begin_inset Formula $\Leftarrow$
\end_inset 


\begin_inset Formula $\Rightarrow$
\end_inset 


\begin_inset Formula $\leq$
\end_inset 


\begin_inset Formula $\le$
\end_inset 


\begin_inset Formula $\geq$
\end_inset 


\begin_inset Formula $\ge$
\end_inset 


\begin_inset Formula $\succ$
\end_inset 


\begin_inset Formula $\prec$
\end_inset 


\begin_inset Formula $\approx$
\end_inset 


\begin_inset Formula $\succeq$
\end_inset 


\begin_inset Formula $\preceq$
\end_inset 


\begin_inset Formula $\supset$
\end_inset 


\begin_inset Formula $\subset$
\end_inset 


\begin_inset Formula $\supseteq$
\end_inset 


\begin_inset Formula $\subseteq$
\end_inset 


\begin_inset Formula $\in$
\end_inset 


\begin_inset Formula $\ni$
\end_inset 


\begin_inset Formula $\owns$
\end_inset 


\begin_inset Formula $\gg$
\end_inset 


\begin_inset Formula $\ll$
\end_inset 


\begin_inset Formula $\leftrightarrow$
\end_inset 


\begin_inset Formula $\leftarrow$
\end_inset 


\begin_inset Formula $\gets$
\end_inset 


\begin_inset Formula $\rightarrow$
\end_inset 


\begin_inset Formula $\to$
\end_inset 


\begin_inset Formula $\mapstochar$
\end_inset 


\begin_inset Formula $\sim$
\end_inset 


\begin_inset Formula $\simeq$
\end_inset 


\begin_inset Formula $\perp$
\end_inset 


\begin_inset Formula $\equiv$
\end_inset 


\begin_inset Formula $\asymp$
\end_inset 


\begin_inset Formula $\smile$
\end_inset 


\begin_inset Formula $\frown$
\end_inset 


\begin_inset Formula $\leftharpoonup$
\end_inset 


\begin_inset Formula $\leftharpoondown$
\end_inset 


\begin_inset Formula $\rightharpoonup$
\end_inset 


\begin_inset Formula $\rightharpoondown$
\end_inset 


\begin_inset Formula $\lhook$
\end_inset 


\begin_inset Formula $\rhook$
\end_inset 


\begin_inset Formula $\ldotp$
\end_inset 


\begin_inset Formula $\cdotp$
\end_inset 


\begin_inset Formula $\colon$
\end_inset 


\begin_inset Formula $\arrowvert$
\end_inset 


\begin_inset Formula $\Arrowvert$
\end_inset 


\begin_inset Formula $\Vert$
\end_inset 


\begin_inset Formula $\|$
\end_inset 


\begin_inset Formula $\vert$
\end_inset 


\begin_inset Formula $\uparrow$
\end_inset 


\begin_inset Formula $\downarrow$
\end_inset 


\begin_inset Formula $\updownarrow$
\end_inset 


\begin_inset Formula $\Uparrow$
\end_inset 


\begin_inset Formula $\Downarrow$
\end_inset 


\begin_inset Formula $\Updownarrow$
\end_inset 


\begin_inset Formula $\backslash$
\end_inset 


\begin_inset Formula $\rangle$
\end_inset 


\begin_inset Formula $\langle$
\end_inset 


\begin_inset Formula $\rbrace$
\end_inset 


\begin_inset Formula $\lbrace$
\end_inset 


\begin_inset Formula $\rceil$
\end_inset 


\begin_inset Formula $\lceil$
\end_inset 


\begin_inset Formula $\rfloor$
\end_inset 


\begin_inset Formula $\lfloor$
\end_inset 


\begin_inset Formula $\mathparagraph$
\end_inset 


\begin_inset Formula $\mathsection$
\end_inset 


\begin_inset Formula $\mathdollar$
\end_inset 


\begin_inset Formula $\yen$
\end_inset 


\begin_inset Formula $\checkmark$
\end_inset 


\begin_inset Formula $\circledR$
\end_inset 


\begin_inset Formula $\maltese$
\end_inset 


\begin_inset Formula $\ulcorner$
\end_inset 


\begin_inset Formula $\urcorner$
\end_inset 


\begin_inset Formula $\llcorner$
\end_inset 


\begin_inset Formula $\lrcorner$
\end_inset 


\begin_inset Formula $\rightleftharpoons$
\end_inset 


\begin_inset Formula $\angle$
\end_inset 


\begin_inset Formula $\hbar$
\end_inset 


\begin_inset Formula $\sqsubset$
\end_inset 


\begin_inset Formula $\sqsupset$
\end_inset 


\begin_inset Formula $\mho$
\end_inset 


\begin_inset Formula $\square$
\end_inset 


\begin_inset Formula $\Box$
\end_inset 


\begin_inset Formula $\lozenge$
\end_inset 


\begin_inset Formula $\Diamond$
\end_inset 


\begin_inset Formula $\vartriangleright$
\end_inset 


\begin_inset Formula $\vartriangleleft$
\end_inset 


\begin_inset Formula $\trianglerighteq$
\end_inset 


\begin_inset Formula $\trianglelefteq$
\end_inset 


\begin_inset Formula $\rightsquigarrow$
\end_inset 


\begin_inset Formula $\leadsto$
\end_inset 


\begin_inset Formula $\lhd$
\end_inset 


\begin_inset Formula $\unlhd$
\end_inset 


\begin_inset Formula $\rhd$
\end_inset 


\begin_inset Formula $\unrhd$
\end_inset 


\begin_inset Formula $\boxdot$
\end_inset 


\begin_inset Formula $\boxplus$
\end_inset 


\begin_inset Formula $\boxtimes$
\end_inset 


\begin_inset Formula $\blacksquare$
\end_inset 


\begin_inset Formula $\centerdot$
\end_inset 


\begin_inset Formula $\blacklozenge$
\end_inset 


\begin_inset Formula $\circlearrowright$
\end_inset 


\begin_inset Formula $\circlearrowleft$
\end_inset 


\begin_inset Formula $\leftrightharpoons$
\end_inset 


\begin_inset Formula $\boxminus$
\end_inset 


\begin_inset Formula $\Vdash$
\end_inset 


\begin_inset Formula $\Vvdash$
\end_inset 


\begin_inset Formula $\vDash$
\end_inset 


\begin_inset Formula $\twoheadrightarrow$
\end_inset 


\begin_inset Formula $\twoheadleftarrow$
\end_inset 


\begin_inset Formula $\leftleftarrows$
\end_inset 


\begin_inset Formula $\rightrightarrows$
\end_inset 


\begin_inset Formula $\upuparrows$
\end_inset 


\begin_inset Formula $\downdownarrows$
\end_inset 


\begin_inset Formula $\upharpoonright$
\end_inset 


\begin_inset Formula $\restriction$
\end_inset 


\begin_inset Formula $\downharpoonright$
\end_inset 


\begin_inset Formula $\upharpoonleft$
\end_inset 


\begin_inset Formula $\downharpoonleft$
\end_inset 


\begin_inset Formula $\rightarrowtail$
\end_inset 


\begin_inset Formula $\leftarrowtail$
\end_inset 


\begin_inset Formula $\leftrightarrows$
\end_inset 


\begin_inset Formula $\rightleftarrows$
\end_inset 


\begin_inset Formula $\Lsh$
\end_inset 


\begin_inset Formula $\Rsh$
\end_inset 


\begin_inset Formula $\leftrightsquigarrow$
\end_inset 


\begin_inset Formula $\looparrowleft$
\end_inset 


\begin_inset Formula $\looparrowright$
\end_inset 


\begin_inset Formula $\circeq$
\end_inset 


\begin_inset Formula $\succsim$
\end_inset 


\begin_inset Formula $\gtrsim$
\end_inset 


\begin_inset Formula $\gtrapprox$
\end_inset 


\begin_inset Formula $\multimap$
\end_inset 


\begin_inset Formula $\therefore$
\end_inset 


\begin_inset Formula $\because$
\end_inset 


\begin_inset Formula $\doteqdot$
\end_inset 


\begin_inset Formula $\Doteq$
\end_inset 


\begin_inset Formula $\triangleq$
\end_inset 


\begin_inset Formula $\precsim$
\end_inset 


\begin_inset Formula $\lesssim$
\end_inset 


\begin_inset Formula $\lessapprox$
\end_inset 


\begin_inset Formula $\eqslantless$
\end_inset 


\begin_inset Formula $\eqslantgtr$
\end_inset 


\begin_inset Formula $\curlyeqprec$
\end_inset 


\begin_inset Formula $\curlyeqsucc$
\end_inset 


\begin_inset Formula $\preccurlyeq$
\end_inset 


\begin_inset Formula $\leqq$
\end_inset 


\begin_inset Formula $\leqslant$
\end_inset 


\begin_inset Formula $\lessgtr$
\end_inset 


\begin_inset Formula $\backprime$
\end_inset 


\begin_inset Formula $\risingdotseq$
\end_inset 


\begin_inset Formula $\fallingdotseq$
\end_inset 


\begin_inset Formula $\succcurlyeq$
\end_inset 


\begin_inset Formula $\geqq$
\end_inset 


\begin_inset Formula $\geqslant$
\end_inset 


\begin_inset Formula $\gtrless$
\end_inset 


\begin_inset Formula $\bigstar$
\end_inset 


\begin_inset Formula $\between$
\end_inset 


\begin_inset Formula $\blacktriangledown$
\end_inset 


\begin_inset Formula $\blacktriangleright$
\end_inset 


\begin_inset Formula $\blacktriangleleft$
\end_inset 


\begin_inset Formula $\vartriangle$
\end_inset 


\begin_inset Formula $\blacktriangle$
\end_inset 


\begin_inset Formula $\triangledown$
\end_inset 


\begin_inset Formula $\eqcirc$
\end_inset 


\begin_inset Formula $\lesseqgtr$
\end_inset 


\begin_inset Formula $\gtreqless$
\end_inset 


\begin_inset Formula $\lesseqqgtr$
\end_inset 


\begin_inset Formula $\gtreqqless$
\end_inset 


\begin_inset Formula $\Rrightarrow$
\end_inset 


\begin_inset Formula $\Lleftarrow$
\end_inset 


\begin_inset Formula $\veebar$
\end_inset 


\begin_inset Formula $\barwedge$
\end_inset 


\begin_inset Formula $\doublebarwedge$
\end_inset 


\begin_inset Formula $\measuredangle$
\end_inset 


\begin_inset Formula $\sphericalangle$
\end_inset 


\begin_inset Formula $\varpropto$
\end_inset 


\begin_inset Formula $\smallsmile$
\end_inset 


\begin_inset Formula $\smallfrown$
\end_inset 


\begin_inset Formula $\Subset$
\end_inset 


\begin_inset Formula $\Supset$
\end_inset 


\begin_inset Formula $\Cup$
\end_inset 


\begin_inset Formula $\doublecup$
\end_inset 


\begin_inset Formula $\Cap$
\end_inset 


\begin_inset Formula $\doublecap$
\end_inset 


\begin_inset Formula $\curlywedge$
\end_inset 


\begin_inset Formula $\curlyvee$
\end_inset 


\begin_inset Formula $\leftthreetimes$
\end_inset 


\begin_inset Formula $\rightthreetimes$
\end_inset 


\begin_inset Formula $\subseteqq$
\end_inset 


\begin_inset Formula $\supseteqq$
\end_inset 


\begin_inset Formula $\bumpeq$
\end_inset 


\begin_inset Formula $\Bumpeq$
\end_inset 


\begin_inset Formula $\lll$
\end_inset 


\begin_inset Formula $\llltr$
\end_inset 


\begin_inset Formula $\ggg$
\end_inset 


\begin_inset Formula $\gggtr$
\end_inset 


\begin_inset Formula $\circledS$
\end_inset 


\begin_inset Formula $\pitchfork$
\end_inset 


\begin_inset Formula $\dotplus$
\end_inset 


\begin_inset Formula $\backsim$
\end_inset 


\begin_inset Formula $\backsimeq$
\end_inset 


\begin_inset Formula $\complement$
\end_inset 


\begin_inset Formula $\intercal$
\end_inset 


\begin_inset Formula $\circledcirc$
\end_inset 


\begin_inset Formula $\circledast$
\end_inset 


\begin_inset Formula $\circleddash$
\end_inset 


\begin_inset Formula $\lvertneqq$
\end_inset 


\begin_inset Formula $\gvertneqq$
\end_inset 


\begin_inset Formula $\nleq$
\end_inset 


\begin_inset Formula $\ngeq$
\end_inset 


\begin_inset Formula $\nless$
\end_inset 


\begin_inset Formula $\ngtr$
\end_inset 


\begin_inset Formula $\nprec$
\end_inset 


\begin_inset Formula $\nsucc$
\end_inset 


\begin_inset Formula $\lneqq$
\end_inset 


\begin_inset Formula $\gneqq$
\end_inset 


\begin_inset Formula $\nleqslant$
\end_inset 


\begin_inset Formula $\ngeqslant$
\end_inset 


\begin_inset Formula $\lneq$
\end_inset 


\begin_inset Formula $\gneq$
\end_inset 


\begin_inset Formula $\npreceq$
\end_inset 


\begin_inset Formula $\nsucceq$
\end_inset 


\begin_inset Formula $\precnsim$
\end_inset 


\begin_inset Formula $\succnsim$
\end_inset 


\begin_inset Formula $\lnsim$
\end_inset 


\begin_inset Formula $\gnsim$
\end_inset 


\begin_inset Formula $\nleqq$
\end_inset 


\begin_inset Formula $\ngeqq$
\end_inset 


\begin_inset Formula $\precneqq$
\end_inset 


\begin_inset Formula $\succneqq$
\end_inset 


\begin_inset Formula $\precnapprox$
\end_inset 


\begin_inset Formula $\succnapprox$
\end_inset 


\begin_inset Formula $\lnapprox$
\end_inset 


\begin_inset Formula $\gnapprox$
\end_inset 


\begin_inset Formula $\nsim$
\end_inset 


\begin_inset Formula $\ncong$
\end_inset 


\begin_inset Formula $\diagup$
\end_inset 


\begin_inset Formula $\diagdown$
\end_inset 


\begin_inset Formula $\varsubsetneq$
\end_inset 


\begin_inset Formula $\varsupsetneq$
\end_inset 


\begin_inset Formula $\nsubseteqq$
\end_inset 


\begin_inset Formula $\nsupseteqq$
\end_inset 


\begin_inset Formula $\subsetneqq$
\end_inset 


\begin_inset Formula $\supsetneqq$
\end_inset 


\begin_inset Formula $\varsubsetneqq$
\end_inset 


\begin_inset Formula $\varsupsetneqq$
\end_inset 


\begin_inset Formula $\subsetneq$
\end_inset 


\begin_inset Formula $\supsetneq$
\end_inset 


\begin_inset Formula $\nsubseteq$
\end_inset 


\begin_inset Formula $\nsupseteq$
\end_inset 


\begin_inset Formula $\nparallel$
\end_inset 


\begin_inset Formula $\nmid$
\end_inset 


\begin_inset Formula $\nshortmid$
\end_inset 


\begin_inset Formula $\nshortparallel$
\end_inset 


\begin_inset Formula $\nvdash$
\end_inset 


\begin_inset Formula $\nVdash$
\end_inset 


\begin_inset Formula $\nvDash$
\end_inset 


\begin_inset Formula $\nVDash$
\end_inset 


\begin_inset Formula $\ntrianglerighteq$
\end_inset 


\begin_inset Formula $\ntrianglelefteq$
\end_inset 


\begin_inset Formula $\ntriangleleft$
\end_inset 


\begin_inset Formula $\ntriangleright$
\end_inset 


\begin_inset Formula $\nleftarrow$
\end_inset 


\begin_inset Formula $\nrightarrow$
\end_inset 


\begin_inset Formula $\nLeftarrow$
\end_inset 


\begin_inset Formula $\nRightarrow$
\end_inset 


\begin_inset Formula $\nLeftrightarrow$
\end_inset 


\begin_inset Formula $\nleftrightarrow$
\end_inset 


\begin_inset Formula $\divideontimes$
\end_inset 


\begin_inset Formula $\varnothing$
\end_inset 


\begin_inset Formula $\nexists$
\end_inset 


\begin_inset Formula $\Finv$
\end_inset 


\begin_inset Formula $\Game$
\end_inset 


\begin_inset Formula $\eth$
\end_inset 


\begin_inset Formula $\eqsim$
\end_inset 


\begin_inset Formula $\beth$
\end_inset 


\begin_inset Formula $\gimel$
\end_inset 


\begin_inset Formula $\daleth$
\end_inset 


\begin_inset Formula $\lessdot$
\end_inset 


\begin_inset Formula $\gtrdot$
\end_inset 


\begin_inset Formula $\ltimes$
\end_inset 


\begin_inset Formula $\rtimes$
\end_inset 


\begin_inset Formula $\shortmid$
\end_inset 


\begin_inset Formula $\shortparallel$
\end_inset 


\begin_inset Formula $\smallsetminus$
\end_inset 


\begin_inset Formula $\thicksim$
\end_inset 


\begin_inset Formula $\thickapprox$
\end_inset 


\begin_inset Formula $\approxeq$
\end_inset 


\begin_inset Formula $\succapprox$
\end_inset 


\begin_inset Formula $\precapprox$
\end_inset 


\begin_inset Formula $\curvearrowleft$
\end_inset 


\begin_inset Formula $\curvearrowright$
\end_inset 


\begin_inset Formula $\digamma$
\end_inset 


\begin_inset Formula $\varkappa$
\end_inset 


\begin_inset Formula $\Bbbk$
\end_inset 


\begin_inset Formula $\hslash$
\end_inset 


\begin_inset Formula $\hbar$
\end_inset 


\begin_inset Formula $\backepsilon$
\end_inset 


\begin_inset Formula $\lyxbar$
\end_inset 


\begin_inset Formula $\lyxeq$
\end_inset 


\begin_inset Formula $\lyxdabar$
\end_inset 


\begin_inset Formula $\lyxright$
\end_inset 


\begin_inset Formula $\lyxleft$
\end_inset 


\begin_inset Formula $\male$
\end_inset 


\begin_inset Formula $\female$
\end_inset 


\begin_inset Formula $\currency$
\end_inset 


\begin_inset Formula $\phone$
\end_inset 


\begin_inset Formula $\recorder$
\end_inset 


\begin_inset Formula $\clock$
\end_inset 


\begin_inset Formula $\lightning$
\end_inset 


\begin_inset Formula $\pointer$
\end_inset 


\begin_inset Formula $\RIGHTarrow$
\end_inset 


\begin_inset Formula $\LEFTarrow$
\end_inset 


\begin_inset Formula $\UParrow$
\end_inset 


\begin_inset Formula $\DOWNarrow$
\end_inset 


\begin_inset Formula $\AC$
\end_inset 


\begin_inset Formula $\HF$
\end_inset 


\begin_inset Formula $\VHF$
\end_inset 


\begin_inset Formula $\Square$
\end_inset 


\begin_inset Formula $\CheckedBox$
\end_inset 


\begin_inset Formula $\XBox$
\end_inset 


\begin_inset Formula $\hexagon$
\end_inset 


\begin_inset Formula $\pentagon$
\end_inset 


\begin_inset Formula $\octagon$
\end_inset 


\begin_inset Formula $\varhexagon$
\end_inset 


\begin_inset Formula $\hexstar$
\end_inset 


\begin_inset Formula $\varhexstar$
\end_inset 


\begin_inset Formula $\davidsstar$
\end_inset 


\begin_inset Formula $\diameter$
\end_inset 


\begin_inset Formula $\invdiameter$
\end_inset 


\begin_inset Formula $\varangle$
\end_inset 


\begin_inset Formula $\wasylozenge$
\end_inset 


\begin_inset Formula $\kreuz$
\end_inset 


\begin_inset Formula $\smiley$
\end_inset 


\begin_inset Formula $\frownie$
\end_inset 


\begin_inset Formula $\blacksmiley$
\end_inset 


\begin_inset Formula $\sun$
\end_inset 


\begin_inset Formula $\checked$
\end_inset 


\begin_inset Formula $\bell$
\end_inset 


\begin_inset Formula $\eighthnote$
\end_inset 


\begin_inset Formula $\quarternote$
\end_inset 


\begin_inset Formula $\halfnote$
\end_inset 


\begin_inset Formula $\fullnote$
\end_inset 


\begin_inset Formula $\twonotes$
\end_inset 


\begin_inset Formula $\brokenvert$
\end_inset 


\begin_inset Formula $\ataribox$
\end_inset 


\begin_inset Formula $\wasytherefore$
\end_inset 


\begin_inset Formula $\Circle$
\end_inset 


\begin_inset Formula $\CIRCLE$
\end_inset 


\begin_inset Formula $\Leftcircle$
\end_inset 


\begin_inset Formula $\LEFTCIRCLE$
\end_inset 


\begin_inset Formula $\Rightcircle$
\end_inset 


\begin_inset Formula $\RIGHTCIRCLE$
\end_inset 


\begin_inset Formula $\LEFTcircle$
\end_inset 


\begin_inset Formula $\RIGHTcircle$
\end_inset 


\begin_inset Formula $\vernal$
\end_inset 


\begin_inset Formula $\ascnode$
\end_inset 


\begin_inset Formula $\descnode$
\end_inset 


\begin_inset Formula $\fullmoon$
\end_inset 


\begin_inset Formula $\newmoon$
\end_inset 


\begin_inset Formula $\leftmoon$
\end_inset 


\begin_inset Formula $\rightmoon$
\end_inset 


\begin_inset Formula $\astrosun$
\end_inset 


\begin_inset Formula $\mercury$
\end_inset 


\begin_inset Formula $\venus$
\end_inset 


\begin_inset Formula $\earth$
\end_inset 


\begin_inset Formula $\mars$
\end_inset 


\begin_inset Formula $\jupiter$
\end_inset 


\begin_inset Formula $\saturn$
\end_inset 


\begin_inset Formula $\uranus$
\end_inset 


\begin_inset Formula $\neptune$
\end_inset 


\begin_inset Formula $\pluto$
\end_inset 


\begin_inset Formula $\aries$
\end_inset 


\begin_inset Formula $\taurus$
\end_inset 


\begin_inset Formula $\gemini$
\end_inset 


\begin_inset Formula $\cancer$
\end_inset 


\begin_inset Formula $\leo$
\end_inset 


\begin_inset Formula $\virgo$
\end_inset 


\begin_inset Formula $\libra$
\end_inset 


\begin_inset Formula $\scorpio$
\end_inset 


\begin_inset Formula $\sagittarius$
\end_inset 


\begin_inset Formula $\capricornus$
\end_inset 


\begin_inset Formula $\aquarius$
\end_inset 


\begin_inset Formula $\pisces$
\end_inset 


\begin_inset Formula $\conjunction$
\end_inset 


\begin_inset Formula $\opposition$
\end_inset 


\begin_inset Formula $\APLstar$
\end_inset 


\begin_inset Formula $\APLlog$
\end_inset 


\begin_inset Formula $\APLbox$
\end_inset 


\begin_inset Formula $\APLup$
\end_inset 


\begin_inset Formula $\APLdown$
\end_inset 


\begin_inset Formula $\APLinput$
\end_inset 


\begin_inset Formula $\APLcomment$
\end_inset 


\begin_inset Formula $\APLinv$
\end_inset 


\begin_inset Formula $\APLuparrowbox$
\end_inset 


\begin_inset Formula $\APLdownarrowbox$
\end_inset 


\begin_inset Formula $\APLleftarrowbox$
\end_inset 


\begin_inset Formula $\APLrightarrowbox$
\end_inset 


\begin_inset Formula $\Bowtie$
\end_inset 


\begin_inset Formula $\leftturn$
\end_inset 


\begin_inset Formula $\rightturn$
\end_inset 


\begin_inset Formula $\photon$
\end_inset 


\begin_inset Formula $\gluon$
\end_inset 


\begin_inset Formula $\cent$
\end_inset 


\begin_inset Formula $\permil$
\end_inset 


\begin_inset Formula $\agemO$
\end_inset 


\begin_inset Formula $\thorn$
\end_inset 


\begin_inset Formula $\Thorn$
\end_inset 


\begin_inset Formula $\openo$
\end_inset 


\begin_inset Formula $\inve$
\end_inset 


\begin_inset Formula $\mho$
\end_inset 


\begin_inset Formula $\Join$
\end_inset 


\begin_inset Formula $\Box$
\end_inset 


\begin_inset Formula $\Diamond$
\end_inset 


\begin_inset Formula $\leadsto$
\end_inset 


\begin_inset Formula $\sqsubset$
\end_inset 


\begin_inset Formula $\sqsupset$
\end_inset 


\begin_inset Formula $\lhd$
\end_inset 


\begin_inset Formula $\unlhd$
\end_inset 


\begin_inset Formula $\LHD$
\end_inset 


\begin_inset Formula $\rhd$
\end_inset 


\begin_inset Formula $\unrhd$
\end_inset 


\begin_inset Formula $\RHD$
\end_inset 


\begin_inset Formula $\apprle$
\end_inset 


\begin_inset Formula $\apprge$
\end_inset 


\begin_inset Formula $\wasypropto$
\end_inset 


\begin_inset Formula $\invneg$
\end_inset 


\begin_inset Formula $\ocircle$
\end_inset 


\begin_inset Formula $\logof$
\end_inset 


\begin_inset Formula $\varint$
\end_inset 


\begin_inset Formula $\iint$
\end_inset 


\begin_inset Formula $\iiint$
\end_inset 


\begin_inset Formula $\varoint$
\end_inset 


\begin_inset Formula $\oiint$
\end_inset 


\begin_inset Formula $\{$
\end_inset 


\begin_inset Formula $\}$
\end_inset 


\begin_inset Formula $\$$
\end_inset 


\begin_inset Formula $\%$
\end_inset 


\begin_inset Formula $\longrightarrow$
\end_inset 


\begin_inset Formula $\longleftarrow$
\end_inset 


\begin_inset Formula $\Longrightarrow$
\end_inset 


\begin_inset Formula $\Longleftarrow$
\end_inset 


\begin_inset Formula $\longleftrightarrow$
\end_inset 


\begin_inset Formula $\Longleftrightarrow$
\end_inset 


\begin_inset Formula $\iff$
\end_inset 


\begin_inset Formula $\doteq$
\end_inset 


\begin_inset Formula $\slash$
\end_inset 


\begin_inset Formula $\notin$
\end_inset 


\begin_inset Formula $\ne$
\end_inset 


\begin_inset Formula $\neq$
\end_inset 


\begin_inset Formula $\implies$
\end_inset 


\begin_inset Formula $\mapsto$
\end_inset 


\begin_inset Formula $\longmapsto$
\end_inset 


\begin_inset Formula $\models$
\end_inset 


\begin_inset Formula $\hookrightarrow$
\end_inset 


\begin_inset Formula $\hookleftarrow$
\end_inset 


\begin_inset Formula $\bowtie$
\end_inset 


\begin_inset Formula $\dashrightarrow$
\end_inset 


\begin_inset Formula $\dashleftarrow$
\end_inset 


\begin_inset Formula $\dasharrow$
\end_inset 


\begin_inset Formula $\textdegree$
\end_inset 


\begin_inset Formula $\lyxsurd$
\end_inset 


\begin_inset Formula $\cong$
\end_inset 


\begin_inset Formula $\surd$
\end_inset 


\the_end