Feature Tag | Designed For |
+ calt | Default setting in text editors |
+ -<< -< -<- <-- <--- <<- <- -> ->> --> ---> ->- >- >>- <-> <--> <---> <----> <!--
=<< =< =<= <== <=== <<= <= => =>> ==> ===> =>= >= >>= <=> <==> <===> <====> <!---
<---------------- ----------------> <===============> a:b a::b a:::b a\/b a/\b := :- :+ <* <*> *> <. <.> .> +: -: =: <******> (* comm *) |
XML_, XFS_, XFST | ML, OCaml, F#, F* |
+ -<< -< -<- <-- <--- <<- <- -> ->> --> ---> ->- >- >>- <-> <--> <---> <----> <!--
=<< =< =<= <== <=== <<= <= => =>> ==> ===> =>= >= >>= <=> <==> <===> <====> <!---
<---------------- ----------------> <===============> a:b a::b a:::b a\/b a/\b := :- :+ <* <*> *> <. <.> .> +: -: =: <******> (* comm *) |
SWFT, XPTL | Swift, PatEL |
+ -<< -< -<- <-- <--- <<- <- -> ->> --> ---> ->- >- >>- <-> <--> <---> <----> <!-- =<< =< =<= <== <=== <<= <= => =>> ==> ===> =>= >= >>= <=> <==> <===> <====> <!--- <---------------- ----------------> <===============> a:b a::b a:::b a\/b a/\b := :- :+ <* <*> *> <. <.> .> +: -: =: <******> (* comm *) |
XHS_, XIDR, XELM, PURS | Haskell, Idris, Elm, PureScript |
+ -<< -< -<- <-- <--- <<- <- -> ->> --> ---> ->- >- >>- <-> <--> <---> <----> <!-- =<< =< =<= <== <=== <<= <= => =>> ==> ===> =>= >= >>= <=> <==> <===> <====> <!--- <---------------- ----------------> <===============> a:b a::b a:::b a\/b a/\b := :- :+ <* <*> *> <. <.> .> +: -: =: <******> (* comm *) |
XV__ | Coq |
+ -<< -< -<- <-- <--- <<- <- -> ->> --> ---> ->- >- >>- <-> <--> <---> <----> <!-- =<< =< =<= <== <=== <<= <= => =>> ==> ===> =>= >= >>= <=> <==> <===> <====> <!--- <---------------- ----------------> <===============> a:b a::b a:::b a\/b a/\b := :- :+ <* <*> *> <. <.> .> +: -: =: <******> (* comm *) |
+