зеркало из
https://github.com/iharh/notes.git
synced 2025-10-30 05:06:05 +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
|