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
Closed

asterisk vs. star #6

adius opened this issue Apr 14, 2014 · 4 comments

Comments

@adius
Copy link
Contributor

adius 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
Copy link
Contributor

pkra commented Apr 21, 2014

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

@jipsen
Copy link
Contributor

jipsen 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
Copy link
Contributor Author

adius 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
Add *** symbol for \u22C6 and \star
Issue #6
@drlippman
Copy link
Contributor

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants