[lucida] Missing \ulcorner and \urcorner glyphs

[John H Lienhard]

The height of corner quotes shows up in a number of TexSE and other posts.  Just for the fun of it, here’s a work around using mathtools and raisebox to define a paired delimiter for either text or math mode.

% !TEX TS-program = lualatex
\documentclass[11pt]{article}
\usepackage{mathtools}
\usepackage[]{unicode-math}

\setmainfont{LucidaBrightOT}[%
      Ligatures=TeX,
      Extension=.otf,
      UprightFont=*,
      ItalicFont=*-Italic,
      BoldFont=*-Demi,
      BoldItalicFont=*-DemiItalic,
      Scale=0.92,
  ]
%
\setmathfont{LucidaBrightMathOT}[%
                  Scale=MatchUppercase,
                  Extension=.otf,
                  BoldFont=LucidaBrightMathOT-Demi.otf,
  ]

%%%% STIX2 corner quotes are large, Tex Gyre DejaVu medium, Asana small

%\setmathfont{STIXTwoMath.otf}[range={"231C-"231D}, Scale=MatchUppercase]
%\setmathfont{texgyredejavu-math.otf}[range={"231C-"231D}, Scale=MatchUppercase]
\setmathfont{Asana-Math.otf}[range={"231C-"231D}, Scale=MatchUppercase]

% https://tex.stackexchange.com/a/419844/119566 on issue of low ulcorner
\DeclarePairedDelimiterXPP{\qq}[2]{}{\textrm{\raisebox{#2}{$\ulcorner$}}}{\textrm{\raisebox{#2}{$\urcorner$}}}{}{#1} % quasi-quotation

\NewDocumentCommand\QQ{m O{1pt}O{-2}}{% First option is height to raise quotes, second is an mkern offset for pitch of most math symbols.
                \ifmmode\qq{\mkern#3mu#1}{#2}\else$\qq{\textrm{#1}}{#2}$\fi
                }

\begin{document}

\textbf{Math mode.} $\QQ{A}\quad\QQ{M}\quad\QQ{\mathbb{B}}[1pt][0]\quad \QQ{f}[1pt][-4] \quad \QQ{R^2}[2pt]$

\textbf{Text mode.} \QQ{M}\quad\QQ{A proposition to be studied.}

$\QQ{\phi}$ is the Gödel number of $\phi$.

\end{document}

[A black text on a white background  Description automatically generated with medium confidence]
From: lucida <lucida-bounces+lienhard=mit.edu at tug.org> on behalf of Kai von Fintel <fintel at mit.edu>
Date: Saturday, May 20, 2023 at 6:08 PM
To: Karl Berry <karl at freefriends.org>
Cc: lucida at tug.org <lucida at tug.org>
Subject: Re: [lucida] Missing ulcorner and urcorner glyphs

Hi Karl,

Here's the Stanford Encyclopedia of Philosophy: https://plato.stanford.edu/entries/quotation/#CornQuasQuot. Since Quine introduced them into philosophical logic, they're also called Quine quotes.

And as discussed in the links below, they're also used for Gödel numbers: https://hsm.stackexchange.com/questions/14817/first-use-of-corner-quotes-for-g%C3%B6del-numbers and https://mathoverflow.net/questions/430869/first-use-of-corner-quotes-for-g%c3%b6del-numbers/431347#431347.

John Lienhard suggested STIX2 Math, but those corners are a bit low, so I prefer Latin Modern Math so far. Will try others as well.

If you could put them on the list for some future update, that would be great.

-- Kai.

Karl Berry <karl at freefriends.org> writes:

> Hi Kai - thanks for the note. I don't think we can put out another
> Lucida update soon, but I'll certainly put those two chars on the list
> for next time.
>
> Can you show me a real-life example using them? Just to understand the
> context. I've never heard of them before.
>
> As for the font to take them from, speaking purely typographically, my
> only thought is that they should presumably visually match the general
> line thickness of the text. Which may or may not mean be physically
> identical.
>
> I didn't try to make test files, but Lucida is generally thicker than CM
> and its derivatives. Thus perhaps some sans font, like DejaVu or some
> CM-derived sans [math], if any have those chars, might match
> better. Just a wild speculation. I also suspect that zero readers of any
> text using them would actually notice :). --best, karl.


--
https://tug.org/lucida/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/lucida/attachments/20230520/b10421fb/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 45967 bytes
Desc: image001.png
URL: <https://tug.org/pipermail/lucida/attachments/20230520/b10421fb/attachment-0001.png>