If you’re asking what the syntax is then probably {x, y, z} == rotated_lorentz(3)
{x, y, z} == rotated_lorentz(3)