tholzschuh-maths 0.1.0

Documentation

Create Package

tholzschuh-maths

By Tim Holzschuh

A collection of unicode symbols often used by working mathematicians.

math

latex

Paste this command in a terminal to install the package

espanso install tholzschuh-maths

Source

package.yml

matches:

  #
  #   ARROWS
  #

  # right arrow       
  - trigger: ":to:"
    replace: "⟶"
            
  # right arrow          
  - trigger: ":arrow_right:"
    replace: "⟶"      
            
  # left arrow           
  - trigger: ":ot:"
    replace: "⟵"
            
  # left arrow          
  - trigger: ":arrow_left:"
    replace: "⟵"
            
  # upwards arrow        
  - trigger: ":arrow_up:"
    replace: "↑"
            
  # downwards arrow         
  - trigger: ":arrow_down:"
    replace: "↓"
            
  # left and right arrow        
  - trigger: ":arrow_left_and_right:"
    replace: "⇄"
            
  # leftrightarrow        
  - trigger: ":arrow_leftright:"
    replace: "⟷"
            
  # short right arrow        
  - trigger: ":to_short:"
    replace: "→"
            
  # epimorphism         
  - trigger: ":epi:"
    replace: "↠"
            
  # backwards epimorphism        
  - trigger: ":epi_left:"
    replace: "↞"
            
  # monomorphism
  - trigger: ":mono:"
    replace: "⮩"
            
  # backwards monomorphism
  - trigger: ":mono_left:"
    replace: "⮨"
            
  # acts
  - trigger: ":acts:"
    replace: "↷"
            
  # backwards acts
  - trigger: ":acts_left:"
    replace: "↶"
            
  # auto          
  - trigger: ":auto:"
    replace: "⟲"
            
  # isomorphism   
  - trigger: ":simto:"
    replace: "⭇"
            
  # backwards isomorphism
  - trigger: ":simot:"
    replace: "⭁"
            
  # open embedding            
  - trigger: ":emb_open:"
    replace: "⇴"
            
  # closed embedding
  - trigger: ":emb_closed:"
    replace: "↛"
            
  # mapsto
  - trigger: ":mapsto:"
    replace: "⟼"
            
  # short mapsto  
  - trigger: ":mapsto_short:"
    replace: "↦"
            
  # rrarrow
  - trigger: ":rrarrow:"
    replace: "⇉"
            
  # rrrarrow 
  - trigger: ":rrrarrow:"

Made with