Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorPeter Heinig
    • CommentTimeJul 14th 2017
    • (edited Jul 14th 2017)

    This is a thread to collect methods to produce symbols signifying higher cells, especially with current nLab software.

    Another arrow-related thread is this, though not for higher cells.

    • CommentRowNumber2.
    • CommentAuthorPeter Heinig
    • CommentTimeJul 14th 2017

    Author: RodMcGuire Format: MarkdownItex

    It would be nice if we could do 3-cells in the same matter

    • \to - 1-cells
    • \Rightarrow - 2-cells
    • ⇛ - 3 cells

    but to get the triple arrow you have to ask for it as unicode - it doesn’t have an iTeX name and only comes in left/right orientations (⇛, ⇚) while the lesser arrows have vertical and diagonal shapes - ⇑, ⇓, ⇖, ⇗, ⇘, ⇙.

    arrows block

    • CommentRowNumber3.
    • CommentAuthorPeter Heinig
    • CommentTimeJul 14th 2017
    • (edited Jul 14th 2017)

    Author: Mike Shulman Format: MarkdownItex

    I’ve seen people use triple arrows for 3-cells sometimes in diagrams in papers; probably you can make it with tikz. I’ve also seen people write a “3” on top of the arrow.