Editing Talk:2343: Mathematical Symbol Fight

Jump to: navigation, search
Ambox notice.png Please sign your posts with ~~~~

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision Your text
Line 38: Line 38:
  
 
I don't think → is "implies", particularly as we've had ⇒ earlier.  → is often used for "maps to", as in f: x → f(x) [[Special:Contributions/141.101.107.166|141.101.107.166]] 19:24, 8 August 2020 (UTC)
 
I don't think → is "implies", particularly as we've had ⇒ earlier.  → is often used for "maps to", as in f: x → f(x) [[Special:Contributions/141.101.107.166|141.101.107.166]] 19:24, 8 August 2020 (UTC)
:→ and ⇒ often mean two different kinds of "implies".  The single arrow is for the boolean operator that takes in two truth values and outputs a truth value.  The double one is for "things on the left justify/prove things on the right",  in somewhat of a metalanguage. Here's an example of two different ways of saying Modus Ponens with the operators: ((p→q) ∧p)→q  vs p→q,p⇒q [[User:Alan g|Alan g]] ([[User talk:Alan g|talk]]) 03:52, 9 August 2020 (UTC)
+
 
 
Are we sure that is the multiplication sign (center dot)? The placement makes it seem more a decimal point. [[Special:Contributions/162.158.123.47|162.158.123.47]] 21:51, 8 August 2020 (UTC)
 
Are we sure that is the multiplication sign (center dot)? The placement makes it seem more a decimal point. [[Special:Contributions/162.158.123.47|162.158.123.47]] 21:51, 8 August 2020 (UTC)
 
:Confusingly, math conventions in some countries use a low dot for multiplication, though it's not as common as it used to be. That's in addition to all the other things that bare dots can represent in math. Personally I can't "see" any particular set of semantics for that symbol, I just see a dot. [[Special:Contributions/162.158.186.136|162.158.186.136]] 22:51, 8 August 2020 (UTC)
 
:Confusingly, math conventions in some countries use a low dot for multiplication, though it's not as common as it used to be. That's in addition to all the other things that bare dots can represent in math. Personally I can't "see" any particular set of semantics for that symbol, I just see a dot. [[Special:Contributions/162.158.186.136|162.158.186.136]] 22:51, 8 August 2020 (UTC)

Please note that all contributions to explain xkcd may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see explain xkcd:Copyrights for details). Do not submit copyrighted work without permission!

To protect the wiki against automated edit spam, we kindly ask you to solve the following CAPTCHA:

Cancel | Editing help (opens in new window)

Templates used on this page: