Sorry to be that guy, but actually ‖x‖