зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 20:56:06 +02:00
10 строки
202 B
Plaintext
10 строки
202 B
Plaintext
http://detexify.kirelabs.org/classify.html
|
|
https://github.com/kirel/detexify-hs-backend
|
|
|
|
\hookrightarrow
|
|
injection
|
|
\rightsquigarrow
|
|
eta-reduction, pattern-calculus
|
|
\leadsto
|
|
funcional dependencies
|