Hello!
I would like to ask for a better alternative of an idiom I’ve been using.
To create the definition of a map with terms and arrows aligned as follows,
K * A * N -> G
(k, a, n) |-> k a n
I often use mat(delim: #none, ...)
$
  mat(
      delim: #none,
      K times A times N, ->, G;
      (k, a, n), mapsto, k a n;
   )
$
As you can see, it has some issues.
- Specifying 
delim: #noneis rather verbose. - This abuses 
matfor different purpose.
I wonder if there is more canonical or better way to achieve the alignment in math mode.
Thanks in advance! 
