/se'mee/ or /se'mi:/ A spoken abbreviation for semicolon.
"Commands to grind are prefixed by semi semi star" means that the prefix is ";;*", not 1/4 of a star.
[Jargon File]