Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Library Coq.Unicode.Utf8
Require
Export
Utf8_core
.
Notation
"
x ≤ y" := (
le
x
y
) (
at
level
70,
no
associativity
).
Notation
"
x ≥ y" := (
ge
x
y
) (
at
level
70,
no
associativity
).
Navigation
Standard Library
Table of contents
Index