Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Toward the bottom of the nLab entry on profunctors, there is code for defining a barred arrow in LaTeX, but I can’t understand it well enough to be able to use it. I realize the code is meant to go in the preamble, but what is the name of the command it is defining? I’ve experimented with several guesses but none seem to work.
Thanks!
You need to use both amsmath and mathtools, the command is \xslashedrightarrow with two arguments, one optional. The following works for me (TeXLive 2010 on Linux):
\documentclass{minimal}
\usepackage{amsmath}
\usepackage{mathtools}
\makeatletter
\def\slashedarrowfill@#1#2#3#4#5{%
$\m@th\thickmuskip0mu\medmuskip\thickmuskip\thinmuskip\thickmuskip
\relax#5#1\mkern-7mu%
\cleaders\hbox{$#5\mkern-2mu#2\mkern-2mu$}\hfill
\mathclap{#3}\mathclap{#2}%
\cleaders\hbox{$#5\mkern-2mu#2\mkern-2mu$}\hfill
\mkern-7mu#4$%
}
\def\rightslashedarrowfill@{%
\slashedarrowfill@\relbar\relbar\mapstochar\rightarrow}
\newcommand\xslashedrightarrow[2][]{%
\ext@arrow 0055{\rightslashedarrowfill@}{#1}{#2}}
\makeatother
\begin{document}
\[
A \xslashedrightarrow{b} C
\]
\end{document}
Thanks!
Forumers unfortunately pretty rarely in fact label articles with key tags. Unfortunately, only the author of the first post in every thread can set the labels; I think the registered users logged onto the system should be able to change the label, in fact add them at least. For example, I would like to add label LaTeX to this thread. I think the labels are more useful than mere site specific google search as they show that something is a topic, not just a sporadically mentioned word. What do you think ?
I added some extra explanation to the page, and an alternate non-extensible definition.
Zoran, sounds good to me. I don’t remember what the various permissions are at the moment, but it may be that it’s just myself and Toby that can add tags to posts. I could make it so that more … senior? … inhabitants also have that power.
Well, most of people do not care anyway about such extra niceties, but I think several more active people like Eric, Urs and me do. I am sure I would sometimes use it for general good if that is not a big deal in setting up.
1 to 7 of 7