"Jeff Hankins" vs. "Jeffrey Hankins"?
41 views
Skip to first unread message
David A. Wheeler
Oct 10, 2019, 7:16:36 PM10/10/19
to metamath
In set.mm, should we use "Jeff Hankins" vs. "Jeffrey Hankins"?
I think every person should have a unique name in the database, and this is an exception.
"Jeffrey Hankins" is what is listed at the front, but "Jeff Hankins" is what is almost always used.
I'd prefer a response from M. Hankins, but I don't know if he reads this mailing list.
--- David A. Wheeler
I think every person should have a unique name in the database, and this is an exception.
"Jeffrey Hankins" is what is listed at the front, but "Jeff Hankins" is what is almost always used.
I'd prefer a response from M. Hankins, but I don't know if he reads this mailing list.
--- David A. Wheeler
fl
Oct 11, 2019, 6:21:58 AM10/11/19
to Metamath
Why M. and not Mr?
--
FL
David A. Wheeler
Oct 11, 2019, 9:51:25 AM10/11/19
to metamath, Metamath
On Fri, 11 Oct 2019 03:21:58 -0700 (PDT), "'fl' via Metamath" <meta...@googlegroups.com> wrote:
> Why M. and not Mr?
For fun, "M." is the abbreviation for "Monsieur". No serious reason.
> Why M. and not Mr?
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages