Skip to content

Instantly share code, notes, and snippets.

@fabrizioschiavi
Last active December 26, 2023 21:11
Show Gist options
  • Star 7 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fabrizioschiavi/f40a54c8211833c75c81ec82f0c0dd1c to your computer and use it in GitHub Desktop.
Save fabrizioschiavi/f40a54c8211833c75c81ec82f0c0dd1c to your computer and use it in GitHub Desktop.
The complete ligature list of Pragmata Pro typeface
!=
!==
!=<
=|
=||
=|:
=/
=/=
=/<
!≡
!≡≡
≡/
≡/≡
#(
#_
#?
#_(
#{
#>
##
#[
$>
%=
&%
&&
&+
&-
&/
&=
&&&
(|
*>
++
+++
+=
+>
++=
--
-<
-<<
-=
->
->>
---
-->
-+-
-\/
-|>
-<|
->-
-<-
-|
-||
-|:
.=
/=
/==
/-\
/-:
/->
/=>
/-<
/=<
/=:
//=
:=
:≡
:=>
:-\
:=/
:-/
:-|
:=|
:|-
:|=
<$>
<*
<*>
<+>
<-
<<=
<=
<=>
<>
<|>
<<-
<|
<=<
<~
<~~
<<~
<$
<+
<!>
<@>
<#>
<%>
<^>
<&>
<?>
<.>
</>
<\>
<">
<:>
<~>
<**>
<<^
<->
<!--
<--
<~<
<==>
<|-
<<|
<||
<-<
<-->
<==
<<==
<-\
<-/
<=\
<=/
=<<
==
===
==>
=>
=~
=>>
=~=
=>>
=>=
=<=
=<
==<
=<|
≡≡
≡≡≡
≡:≡
>-
>=
>>-
>>=
>=>
>>^
>>|
>!=
>->
>==
>/=
>-|
>=|
>-\
>=\
>-/
>=/
>λ=
?.
[[
[|
[BUG]
[DEBUG]
[ERR]
[ERROR]
[FAIL]
[FATAL]
[FIXME]
[HACK]
[INFO]
[INFO ]
[KO]
[MARK]
[NOTE]
[OK]
[PASS]
[PASS ]
[TODO]
[TRACE]
[VERBOSE]
[WARN]
[WARN ]
[WARNING]
]]
\=
\==
\/-
\-/
\-:
\->
\=>
\-<
\=<
\=:
_|_
^=
^<<
^>>
^^
|)
|=
|>=
|>
|+|
|->
|-->
|=>
|==>
|>-
|<<
||>
|>>
|-
||-
||=
|-:
|=:
|-<
|=<
|--<
|==<
|]
~=
~>
~~>
~>>
@rubin55
Copy link

rubin55 commented Dec 15, 2020

Shouldn't this also include the logging level ligatures:
image

@fabrizioschiavi
Copy link
Author

You've right! I forgot to include these ligatures. Thanks @rubin55 to letting me know it!

@neuromagus
Copy link

neuromagus commented Dec 22, 2023

I trying update this minor mode for Emacs https://github.com/lumiknit/emacs-pragmatapro-ligatures to the actual PP version (0.30 now).
Please, check this list of ligatures. He is complete for this date or need update too? Maybe need add '// TODO', '// INFO' etc?

20231222_05h48m23s_grim

@fabrizioschiavi
Copy link
Author

@neuromagus I just created a pull request with the required changes.
Anyway you can find a similar file here

@neuromagus
Copy link

thanks a lot, you save my time!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment