You can use it to give any name to a function, eve...

# announcements

[diesieben07]

You can use it to give any name to a function, even one that would normally be invalid. E.g. `fun ``my great function``()` is allowed