HomeIsabelle/Phabricator
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.

Written by makarius on Jun 7 2021, 2:56 PM.
User
Projects
None
Subscribers
None

Event Timeline