@hendric @systemd fair. This has been a widely-used notation for around 60 years, but I'll admit that collective memory fades over time: https://en.wikipedia.org/wiki/Caret_notation