Hoare logic symbols

[rdong8]

Before requesting a feature, please search for existing issues.

Is your feature request related to a problem? Please describe.
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

I am writing notes for my logic and computation class with KaTeX but have been unable to type the parentheses required for Hoare triples.

Describe the solution you'd like:
A clear and concise description of what you want to happen.

The \llparenthesis and \rrparenthesis symbols or similar, similar to the \llbracket and \rrbracket already supported in KaTeX.

Source

Link to or name of a (La)TeX package that provides the same feature:
KaTeX's general goal is to render as LaTeX does.

stmaryd

Describe alternatives you've considered:
A clear and concise description of any alternative solutions or features you've considered.

Using \{ P \} C \{ Q \} notation, although it is much less common.

Additional context:
Add any other context or screenshots about the feature request here.