2

I am trying to use \widetilde with a custom font called LTL fonts http://theory.stanford.edu/~matteo/ltlfonts/

From its description:

The font is distributed in outline Type 1 format, with associated TeX (TFM), Adobe (AFM), and Microsoft (PFM) font metrics.

The thing is when I use \widetilde{\LTLcircle}, it appears like

the tilde is too low

Apparently the tilde is too close to the circle, and I would like to raise it a bit.

I found a related question about how to lower the tilde, unfortunately I can't find the way to "raise" it.

Community
  • 1
pp35377
  • 21

1 Answers1

2

It is easiest to lower the object over which the \widetilde spans - "O" in this case. To achieve this, use

$\widetilde{\raisebox{-4pt}{$O$}}$ "raises" O by -4pt

However, this causes the entire structure to drop 4pt below the baseline. To correct for this, raise the entire structure (including the \widetilde) the same amount as what you dropped it.

...
\usepackage{graphicx}% Contains the \raisebox{...}{...} command
\newcommand*{\wtilde}[2][0pt]{% Raised \widetilde: \wtilde[<raise>]{<symbol>}
  \raisebox{#1}{$\widetilde{\raisebox{-#1}{$#2$}}$}%
}%
...
This is a test~$\widetilde{O}$, and another test~$\wtilde{O}$, and yet another~$\wtilde[4pt]{O}$.

Raising \widetilde

The above was not tested using your custom LTL fonts, but in principle it should work regardless of the font selection.

Werner
  • 603,163