In category theory, monomorphisms are defined using an diagram that has two arrows on the left. You could imagine these turning into the two lines in the tail of an arrow. Epimorphisms are defined using a diagram with arrows on the right. You could imagine putting these two arrows on to...
Learn three ways to type common math symbols on a Windows keyboard. One way is using the character map application program on your computer. Other ways are using shortcuts with alt-codes and features on Microsoft Word. All are described in this articl
Equation: Add a common mathematical equation to your documents, such as the area of a circle or the quadratic formula. You can also build your equations using the library of math symbols and structure. Symbols: Add symbols to your document that is not on the keyboard. You can choose a var...
.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} \def\scalecheck{\resizebox{\widthof{\checkmark}*\ratio{\widthof{x}}{\widthof{\normalsize x}}}{!}{\checkmark}} %that's defined it - now for a test \begin{document...
[[language]] name = "lean" auto-format = true formatter = { command = "lucr", args = [] } zed configuration You need Lean4 extension (now in dev mode): https://github.com/shnarazk/zed-lean4 .config/zed/settings.json "languages": { "Lean4": { "formatter": { "external": {...