Some symbols have variants which are just shorter. They might not be simply scaled, but a part of them is shorter.