“Zalgo-style” function names for dangerous or weird functions is kind of a cute idea.

In dense scientific code there’s always been a place for special characters. (apl, anyone?) To the right kind of programmer, using the proper mathematical notation for operations and variables in a function can greatly improve readability and clarity.

Unicode for use in theorem proving languages also has a role — agda comes to mind here.