Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

asterisk vs. star #6

Closed
adius opened this issue Apr 14, 2014 · 4 comments

Comments

Projects
None yet
4 participants
@adius
Copy link
Contributor

commented Apr 14, 2014

I was wondering why ** translates to the latex equivalent of \star? Shouldn't it rather be \ast.
Otherwise we should introduce a new operation symbol for it, because I think asterisk is a pretty important symbol. (At least I use it a lot …)
What do you think?

@pkra

This comment has been minimized.

Copy link
Member

commented Apr 21, 2014

Adding a macro for \ast sounds natural. Any preference?

@jipsen

This comment has been minimized.

Copy link
Contributor

commented Apr 21, 2014

I think both \ast and \star should be available (as commands), and I agree that ** should rather produce \ast than \star (this was the original intent, but there was some font issue back in 2004 that resulted in using \star as a substitute).

@adius

This comment has been minimized.

Copy link
Contributor Author

commented Apr 25, 2014

So ** for \ast and maybe *** or <^> for \star?
What do you think?

drlippman added a commit that referenced this issue Jul 6, 2014

Change ** symbol to \u2217 and tex \ast.
Add *** symbol for \u22C6 and \star
Issue #6
@drlippman

This comment has been minimized.

Copy link
Contributor

commented Jul 6, 2014

Per approval from @jipsen, changed ** to \ast, and added *** for \star in 9fb58f9

@drlippman drlippman closed this Jul 6, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.