<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:10.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">% !TEX TS-program = lualatex<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\documentclass[11pt]{article}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\usepackage{mathtools}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\usepackage[]{unicode-math}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\setmainfont{LucidaBrightOT}[%
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Ligatures=TeX,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Extension=.otf,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> UprightFont=*,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ItalicFont=*-Italic,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> BoldFont=*-Demi,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> BoldItalicFont=*-DemiItalic,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Scale=0.92,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ]<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">%<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\setmathfont{LucidaBrightMathOT}[%
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Scale=MatchUppercase,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Extension=.otf,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> BoldFont=LucidaBrightMathOT-Demi.otf,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ]<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">%%%% STIX2 corner quotes are large, Tex Gyre DejaVu medium, Asana small<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">%\setmathfont{STIXTwoMath.otf}[range={"231C-"231D}, Scale=MatchUppercase]
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">%\setmathfont{texgyredejavu-math.otf}[range={"231C-"231D}, Scale=MatchUppercase]
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\setmathfont{Asana-Math.otf}[range={"231C-"231D}, Scale=MatchUppercase]
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">% <a href="https://tex.stackexchange.com/a/419844/119566">
https://tex.stackexchange.com/a/419844/119566</a> on issue of low ulcorner<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\DeclarePairedDelimiterXPP{\qq}[2]{}{\textrm{\raisebox{#2}{$\ulcorner$}}}{\textrm{\raisebox{#2}{$\urcorner$}}}{}{#1} % quasi-quotation<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\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.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> \ifmmode\qq{\mkern#3mu#1}{#2}\else$\qq{\textrm{#1}}{#2}$\fi<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> }<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\begin{document}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\textbf{Math mode.} $\QQ{A}\quad\QQ{M}\quad\QQ{\mathbb{B}}[1pt][0]\quad \QQ{f}[1pt][-4] \quad \QQ{R^2}[2pt]$<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\textbf{Text mode.} \QQ{M}\quad\QQ{A proposition to be studied.}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">$\QQ{\phi}$ is the Gödel number of $\phi$.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">\end{document}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><img border="0" width="595" height="120" style="width:6.1979in;height:1.25in" id="Picture_x0020_1" src="cid:image001.png@01D98B54.2AF40850" alt="A black text on a white background
Description automatically generated with medium confidence"></span><span style="font-size:11.0pt"><o:p></o:p></span></p>
<div style="border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal" style="margin-bottom:12.0pt"><b><span style="font-size:12.0pt;color:black">From:
</span></b><span style="font-size:12.0pt;color:black">lucida <lucida-bounces+lienhard=mit.edu@tug.org> on behalf of Kai von Fintel <fintel@mit.edu><br>
<b>Date: </b>Saturday, May 20, 2023 at 6:08 PM<br>
<b>To: </b>Karl Berry <karl@freefriends.org><br>
<b>Cc: </b>lucida@tug.org <lucida@tug.org><br>
<b>Subject: </b>Re: [lucida] Missing ulcorner and urcorner glyphs<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-size:11.0pt"><br>
Hi Karl,<br>
<br>
Here's the Stanford Encyclopedia of Philosophy: <a href="https://plato.stanford.edu/entries/quotation/#CornQuasQuot">
https://plato.stanford.edu/entries/quotation/#CornQuasQuot</a>. Since Quine introduced them into philosophical logic, they're also called Quine quotes.<br>
<br>
And as discussed in the links below, they're also used for Gödel numbers: <a href="https://hsm.stackexchange.com/questions/14817/first-use-of-corner-quotes-for-g%C3%B6del-numbers">
https://hsm.stackexchange.com/questions/14817/first-use-of-corner-quotes-for-g%C3%B6del-numbers</a> and
<a href="https://mathoverflow.net/questions/430869/first-use-of-corner-quotes-for-g%c3%b6del-numbers/431347#431347">
https://mathoverflow.net/questions/430869/first-use-of-corner-quotes-for-g%c3%b6del-numbers/431347#431347</a>.<br>
<br>
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.<br>
<br>
If you could put them on the list for some future update, that would be great.<br>
<br>
-- Kai.<br>
<br>
Karl Berry <karl@freefriends.org> writes:<br>
<br>
> Hi Kai - thanks for the note. I don't think we can put out another<br>
> Lucida update soon, but I'll certainly put those two chars on the list<br>
> for next time.<br>
><br>
> Can you show me a real-life example using them? Just to understand the<br>
> context. I've never heard of them before.<br>
><br>
> As for the font to take them from, speaking purely typographically, my<br>
> only thought is that they should presumably visually match the general<br>
> line thickness of the text. Which may or may not mean be physically<br>
> identical.<br>
><br>
> I didn't try to make test files, but Lucida is generally thicker than CM<br>
> and its derivatives. Thus perhaps some sans font, like DejaVu or some<br>
> CM-derived sans [math], if any have those chars, might match<br>
> better. Just a wild speculation. I also suspect that zero readers of any<br>
> text using them would actually notice :). --best, karl.<br>
<br>
<br>
--<br>
<a href="https://tug.org/lucida/">https://tug.org/lucida/</a><o:p></o:p></span></p>
</div>
</div>
</body>
</html>