Valentin Villenave wrote Monday, October 06, 2008 10:42 AM
\bigger and \larger are two markup commands that act exactly the same;
which one do we want do keep?
Graham: "\bigger sounds better when opposed to \smaller"
I don't agree with this - I think large is the correct
opposite to small, ergo larger is better as the opposite
to smaller.
Me: "We already have \teeny \tiny \small \large \huge, so let's keep
\larger iso \bigger".
Right.
You guys: "\[bigger|larger] is better because..." (to be completed)
Also "bigger" is rather colloquial; "larger" is more formal.
I would never use "bigger" in a formal document or a
scientific paper, so I wouldn't use it in the Lily docs
either. "Big" can be used when you want to impart a slightly
derogatory tone - "big-head" for example or compare
"big woman" with the more polite "large lady".
So I definitely prefer \larger.
Trevor
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel
