We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
See: https://drops.dagstuhl.de/volltexte/2009/2089/pdf/09061.WaechterAndreas.Paper.2089.pdf#page=10
In simpler words:
inf_pr
inf_du
See also this lecture on Teachable.