@mhoye That is, unironically, basically math notation.