symbols
In http://www.logicmatters.net/latex-for-logicians/symbols/ I read that \boxright from txfonts or pxfonts can by used together with other fonts by doing the following:
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\DeclareMathSymbol{\boxright}{\mathrel}{symbolsC}{128}
There is another symbol in txfonts and pxfonts that I'd like to use. How can I get its number so that I can use a similar \DeclareMathSymbol to access it? The symbol I'm after in txfonts and pxfonts is \Diamondright:
The commands \| and \parallel print the same symbol; here are their definitions in fontmath.ltx:
\DeclareMathDelimiter{\Vert}
{\mathord}{symbols}{"6B}{largesymbols}{"0D}
\let\|=\Vert
\DeclareMathSymbol{\parallel}{\mathrel}{symbols}{"6B}
The meaning of the first definition is that \Vert (of which \| is an alias) prints the glyph in slot "6B of the font in mathgroup symbols when requested at normal size and, when not used in the context of delimiters (after \left, \right, \bigl, \bigr and friends) it behaves as an ordinary symbol.
The definition of \parallel tells TeX to use the very same glyph, but treating it as a relation symbol. So
$\|\alpha v\|=\alpha\|v\|$
will result in
âðžvâ = ðžâvâ
whereas
$\alpha\parallel\beta$
will produce
ðž â ð―
where $\alpha\|\beta$ would produce
ðžâð―
with no spaces around the double bar. In Unicode, \Vert is U+2016 DOUBLE VERTICAL LINE, while \parallel is U+2225 PARALLEL TO.
The command \textdoublepipe is found in tipa and produces the symbol Į (Unicode U+01C1 LATIN LETTER LATERAL CLICK) which is glyph 123 in a T3 encoded font. Also \textdoublevertline is defined by tipa and refers to glyph 147 in a T3 encoded font
The manual of tipa refers to the former as alveolar lateral click and to the latter as major (intonation) group; according to http://en.wikipedia.org/wiki/Prosodic_unit, this is the same U+2016 as before.
So, even if the four glyphs are similar, their meaning is different and should be used in the proper context.
Never seen such a symbol, but you can define it; choose a better name.
\documentclass{article}
\usepackage{centernot}
\newcommand{\wrel}{% for ``weird relation''
\centernot{\mathrel{-}\joinrel\mathrel{-}}%
}
\begin{document}
\[
W\wrel X
\]
\end{document}
Notes. I use the fact that TeX doesn't add space between consecutive relation symbols; \joinrel is a little negative space that counts as a relation symbol. Thus we get two superimposing minus signs (just like what's done for longer arrows). With \centernot we place the \not symbol exactly in the middle.
A different version using / instead of \not, so also \backslash can be employed instead.
\documentclass{article}
\makeatletter
\newcommand{\centersymbol}[2]{%
\mathrel{\vphantom{#1#2}\mathpalette\center@symbol{{#1}{#2}}}%
}
\newcommand{\center@symbol}[2]{%
\center@@symbol{#1}#2%
}
\newcommand{\center@@symbol}[3]{%
\ooalign{\hss$#1\m@th#2$\hss\cr\hss$#1\m@th#3$\hss\cr}%
}
\makeatother
\newcommand{\wrel}{\centersymbol{/}{\mathrel{-}\joinrel\mathrel{-}}}
\newcommand{\lerw}{\centersymbol{\backslash}{\mathrel{-}\joinrel\mathrel{-}}}
\begin{document}
\[
W\wrel X \lerw Y
\]
\end{document}
Best Answer
You could use the
fonttablepackage:There you can see it's 132.