More verbose notation

Signed-off-by: Matthias Kümmerer <matthias@matthias-k.org>