<

tropical notation 1