On Fri, Sep 4, 2015 at 5:08 PM, Daniel Verite <daniel@manitou-mail.org> wrote:
> I'm not dead set on \rotate and suggested other names
> previously in [1], but none of them seems decisively
> superior.
Fwiw I like \rotate. It's pretty clear what it means and it sounds
similar to but not exactly the same as pivot.
--
greg