Skip to content

This is a set of LaTeX math symbols, for writing transition arrows of modal transition systems in a LaTex document.

Notifications You must be signed in to change notification settings

mikaelhm/MTS-LaTeX-Arrows

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 

Repository files navigation

MTS-LaTeX-Arcs

This is a set of LaTeX math symbols, for writing transition arrows of modal transition systems in a LaTex document.

Requirements

The arrows are drawn in TikZ, and the arrow tip is a \guilsinglright which is not in the OT1 encoding.

  • \RequirePackage{tikz}
  • \RequirePackage[T1]{fontenc}

Usage and Example:

After loading the mts-arrows.tec in your preable, writing:

$q_0 \may{a} q_1 \must{a} q_2 \mayw{a} q_3 \mustw{a} q_4$
$q_0 \lmay{abcd} q_1 \lmust{abcde} q_2 \lmayw{abcdef} q_3 \lmustw{abcdefg} q_4$

in your document will result in:

Example

Note: long arrows should only be used with long action names on top

About

This is a set of LaTeX math symbols, for writing transition arrows of modal transition systems in a LaTex document.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published