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
0 answers
57 views

Beamer, stmaryrd and boldsymbol

When compiling this code: % !TeX program = xelatex \documentclass{beamer} \usepackage{stmaryrd} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} \begin{document} $\boldsymbol{x}$ \end{document} I get ...
user avatar
  • 568
1 vote
1 answer
194 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 ...
user avatar
  • 6,162
0 votes
0 answers
63 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:/...
user avatar
  • 2,023
2 votes
2 answers
2k 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 ...
user avatar
  • 3,361
5 votes
2 answers
502 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 ...
user avatar
  • 775
1 vote
1 answer
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{...
user avatar
  • 2,775
0 votes
1 answer
77 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}$ ...
user avatar
3 votes
1 answer
351 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. \...
user avatar
  • 3,896
5 votes
2 answers
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 ...
user avatar
  • 187
2 votes
2 answers
284 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 ...
user avatar
  • 1,196
4 votes
1 answer
183 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 [[ ]] \...
user avatar
  • 816
6 votes
1 answer
23k 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?
user avatar
  • 163
4 votes
0 answers
528 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 ...
user avatar
  • 1,147
26 votes
1 answer
6k 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} ...
user avatar