MetaFont and macros for Euro sign
