notation. inclusion [leinster2016basic, 0.8] [tt-000T]
notation. inclusion [leinster2016basic, 0.8] [tt-000T]
In
the symbol \(\hookrightarrow \) is used for inclusions. It is a combination of a subset symbol \(\subset \) and an arrow.
NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.
In
the symbol \(\hookrightarrow \) is used for inclusions. It is a combination of a subset symbol \(\subset \) and an arrow.