I made this annotated expression using q.uiver.app and would like to know how I can embed it in a math.se post.

q.uiver.app gives me the following LaTeX and also mentions I should include \usepackage{quiver} in the preamble. How do I do this?

% https://q.uiver.app/?q=WzAsMTIsWzEsMCwiXFxsYW1iZGEgeC4iXSxbMiwwLCJcXGxhbWJkYSB5LiJdLFszLDAsIngiXSxbNCwwLCJ5Il0sWzAsMCwiKCJdLFs1LDAsIikiXSxbNiwwLCIoIl0sWzcsMCwiXFxsYW1iZGEgeC4iXSxbOCwwLCJcXGxhbWJkYSB5LiJdLFs5LDAsIngiXSxbMTAsMCwieSJdLFsxMSwwLCIpIl0sWzAsMiwiIiwwLHsiY3VydmUiOi01fV0sWzEsMywiIiwwLHsiY3VydmUiOjV9XSxbNyw5LCIiLDAseyJjdXJ2ZSI6LTV9XSxbOCwxMCwiIiwwLHsiY3VydmUiOjV9XV0=
    {(} & {\lambda x.} & {\lambda y.} & x & y & {)} & {(} & {\lambda x.} & {\lambda y.} & x & y & {)}
    \arrow[curve={height=-30pt}, from=1-2, to=1-4]
    \arrow[curve={height=30pt}, from=1-3, to=1-5]
    \arrow[curve={height=-30pt}, from=1-8, to=1-10]
    \arrow[curve={height=30pt}, from=1-9, to=1-11]

q.uiver.app also gives another paste:

% *** quiver ***
% A package for drawing commutative diagrams exported from https://q.uiver.app.
% This package is currently a wrapper around the `tikz-cd` package, importing necessary TikZ
% libraries, and defining a new TikZ style for curves of a fixed height.
% Version: 1.2.1
% Authors:
% - varkor (https://github.com/varkor)
% - AndréC (https://tex.stackexchange.com/users/138900/andr%C3%A9c)

\ProvidesPackage{quiver}[2021/01/11 quiver]

% `tikz-cd` is necessary to draw commutative diagrams.
% `amssymb` is necessary for `\lrcorner` and `\ulcorner`.
% `calc` is necessary to draw curved arrows.
% `pathmorphing` is necessary to draw squiggly arrows.

% A TikZ style for curved arrows of a fixed height, due to AndréC.
\tikzset{curve/.style={settings={#1},to path={(\tikztostart)
    .. controls ($(\tikztostart)!\pv{pos}!(\tikztotarget)!\pv{height}!270:(\tikztotarget)$)
    and ($(\tikztostart)!1-\pv{pos}!(\tikztotarget)!\pv{height}!270:(\tikztotarget)$)
    .. (\tikztotarget)\tikztonodes}},

% TikZ arrowhead/tail styles.
\tikzset{tail reversed/.code={\pgfsetarrowsstart{tikzcd to}}}
\tikzset{2tail reversed/.code={\pgfsetarrowsstart{Implies}}}
% TikZ arrow styles.
\tikzset{no body/.style={/tikz/dash pattern=on 0 off 1mm}}

  • 6
    $\begingroup$ You can't. Embed an image instead. Or use amscd. $\endgroup$ Commented Dec 3, 2021 at 21:06
  • $\begingroup$ Can you link to asymptote? $\endgroup$
    – joseville
    Commented Dec 3, 2021 at 21:07
  • 1
    $\begingroup$ docs.mathjax.org/en/latest/input/tex/extensions/amscd.html $\endgroup$ Commented Dec 3, 2021 at 21:07
  • $\begingroup$ Thanks. do you know if there's a gui? $\endgroup$
    – joseville
    Commented Dec 3, 2021 at 21:08
  • 2
    $\begingroup$ You can technically use the Ask Question button as a GUI. $\endgroup$ Commented Dec 3, 2021 at 21:13

1 Answer 1


Unfortunately, at present there is no official support for tikz in MathJax. Here is the relevant issue from the MathJax project - progress has been made on running tikz in the browser by third parties, but has not been adopted by the main project.

Currently your options for producing a commutative diagram for your questions on MSE are detailed here: you can use amscd, array, or create the image elsewhere and include that in to your question. If you're doing reasonably complicated diagrams with quiver, this last option may be your best bet.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .