Questions tagged [stmaryrd]

{stmaryrd} is about the St Mary Road sym­bols for the­o­ret­i­cal com­puter sci­ence.

Filter by
Sorted by
Tagged with
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} ...