Certainly it does look more like a very common variant of “tau” than “pi”
This archive was generated by hypermail 2.2.0 : Mon Jan 04 2016 - 13:59:38 CST