More predefined Isabelle symbols
General
- More symbol definitions for the Z Notation (Isabelle fonts and LaTeX). See also the group "Z Notation" in the Symbols dockable of Isabelle/jEdit.
Document preparation
- More predefined symbols: ⫴ ⫽ (package stmaryrd), ✓ ✗ (LaTeX package pifont).
This refers e.g. to Isabelle/2a431e8bb9b4.
- Projects
- None
- Subscribers
- None