Questions tagged [stmaryrd]
{stmaryrd} is about the St Mary Road symbols for theoretical computer science.
13
questions
1
vote
1answer
73 views
Bug with \llbracket [closed]
I've encountered the following bug.
The piece of code Soit $p\in \left \llbracket {0}, {m^2} \right \rrbracket$
produces the output
I've tried to produce a MWE but, so far, I've not been able to. The ...
0
votes
0answers
37 views
Why can't lualatex in MiKTeX find stmaryrd fonts unless pdflatex is run first? [duplicate]
MNWE:
\documentclass{acmart}
\usepackage{stmaryrd}
\begin{document}
$\Mapsto$
\end{document}
Running lualatex on this file gives a log containing
luaotfload | cache : Lookup cache loaded from C:/...
2
votes
2answers
1k views
size of \boxplus vs. \boxminus
I redefined the \boxplus and \boxminus commands. But for some reasons, the + sign inside the \boxplus is too large while the - sign in the \boxminus has he correct size. How should I modify the ...
5
votes
2answers
393 views
Gauss brackets with double vertical lines [duplicate]
I would like to have commands for left- and right gauss brackets which have a double vertical line, but otherwise behave exactly like \lfloor and \rfloor. In particular, they should come in various ...
1
vote
1answer
2k views
big double square brackets
I'm trying to get the double square brackets from the stmaryrd package printed big, following this post with no success.
\documentclass[xcolor={dvipsnames,table}, fleqn]{beamer}
\usefonttheme{...
0
votes
1answer
72 views
superscripts with stmaryrd
symbols that I want to have displayed as superscripts end up displayed right next to a formula when I use stmaryrd package.
Here's the code I used:
$\llbracket \lozenge \phi \rrbracket^{w,c,i}$
...
2
votes
1answer
300 views
Using stmaryrd with extpfeil
Importing extpfeil seems to undefine some of the macros in stmaryrd. In particular LaTeX complains
! Undefined control sequence.
<recently read> \Yleft
unless I delete extpfeil.
\...
5
votes
2answers
2k views
Slash resembling “circled division slash”
The package stmaryrd defines two symbols \varoslash and \varobslash which resemble the "circled division slash" ⊘ and an similar backslash.
However, when mixing these circled slashes and regular ...
2
votes
2answers
249 views
Is it possible to get LyX to display non-standard symbols?
I currently need the symbol \mapsfrom, available in the package stmaryrd. If I input \mapsfrom in math-mode, then it is not replaced by a graphical representation of the symbol.
Is it possible to get ...
4
votes
1answer
166 views
Insert Spaces in Command Using Math Mode
I borrowed a predefined command (below), which uses math mode. Within the [[ ]], obviously, it doesn't observe spacing. Is there a way to make the command observe spacing within the [[ ]]
\...
4
votes
1answer
17k views
Changing all “[” to \llbracket
Is there a way to change all [ and ]s in a document to \llbracket and \rrbracket? Without modifying the text?
4
votes
0answers
490 views
Is there a good replacement for stmaryrd? [closed]
I am getting various warnings because of St. Mary Rd. fonts (stmaryrd) which I get around using tricks like this and anyfontsize.
Is there a good replacement for St. Mary Rd. (like Latin Modern ...
25
votes
1answer
5k views
stmaryrd and boldsymbol: avoid warnings
Here are two examples:
1
\documentclass[a4paper,10pt]{article}
\usepackage{amsmath}
\begin{document}
$\boldsymbol x$
\end{document}
2
\documentclass[a4paper,10pt]{article}
\usepackage{amsmath}
...
