Ok so this is what the output looks like in the PDF document:    But this is what the input looks like in Lyx:    As you can see, the symbols that show up while writing in the Lyx document are completely messed up, the \nabla symbol shows up like a bold N, the minus sign shows up as "lyxminus" in red letters... Like what is going on here? Am I missing a package or something?  I'm using Linux Mint 19 and Lyx 2.3.0.
I updated LyX to 2.3.0-1, and found that LyX was displaying all the "-" characters in Math Mode as "\lyxminus". No such problem occurs when entering outside of Math Mode. LyX also seems to have no problem compiling to TeX, and the PDF output looks normal.  I removed and re-installed LyX, and this issue was still there.   Does anyone have any ideas on what might be going on? I am using Linux Mint 18.2 Sonya.  Note: I previously saw this question ask about the same thing, but the author appears to have deleted their post:
How can I use JavaScript on the client side to detect if the page was encrypted? Is it possible to detect, on the client side, whether the user is using an encrypted page or not?  Put another way -- I want to know if the URL of the current page starts with http or https. What are review tests (audits) and how do they work? I recently received this rather amusing message while reviewing a user's first post:  Congratulations! This was only a test, designed to make sure you were paying attention. This post has already been removed, but thanks for taking time to leave feedback for the author.   What is the purpose of this test? How does the audit work? What happens if I fail? Why was the system expecting me to negatively review a good post, or positively review a bad post? A review is obviously an audit. Should I report it? Do review audits count toward the Reviewer badge? Do robo-reviewers dream of electric sheep? Getting user provided data out of a database and into R How to use more than 10 tab stops in bmatrix or other amsmath matrix environments? I used a website called Seeking Arrangements and met a  sugar daddy. He asked for my email login, online banking login, routing, account number, Facebook, as well as my  address which is the only thing I gave him since it’s a PO. I’ve been extremely vague just to see if this is real.   I don’t plan to give him anything because I have only been talking to him for a few months and  I feel conflicted. I doubt that he is trying to scam me but I suspect that he has some kind of master plan. With things such as Venmo, Zelle, and Cashapp, what is the need for “put me on his payroll?”   He claims that he is in another country on a business trip.  He said that  he tried to send me a gift but he lost access to his card. He is now asking to deposit more than 10k into my account and have me wire it. Is this a l classic way of scamming people? If so, is it common that they spend months creating a relationship with you  to catfish you? I don't understand how quantum mechanics (and therefore also quantum computers) can work  given that while we work with quantum states, particles that this quantum state consist of cannot be observed, which is the most fundamental requirement.  If I am not mistaken, by "observed" we mean interaction with any other particle (photon, gluon, electron or whatever else). So my very important questions:   Aren't the particles this quantum state consists of interacting with each other? Why doesn't that cause the state to collapse? Aren't all particles in the universe interacting with Higgs field and gravitons etc? Why doesn't that cause every quantum state to collapse?   I feel there is something very fundamental in quantum mechanics that I am not aware of, hence I would be very pleased to have these questions answered. Number of solutions of $P(x)=e^{ax}$ if $P$ is a polynomial Why is this true?  $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$ Is the cardinality of the Cartesian product of two equinumerous infinite sets the same as the cardinality of any one of the sets? I couldn't find this explicitly stated in any handout or text. This certainly seems to be true from the examples I have seen:  The Cartesian product of two infinitely countable sets is again infinitely countable. The Cartesian product of two sets with cardinality of continuum again has cardinality of continuum. Run a shell script as another user that has no password I would like to run a script from the main ubuntu shell as a different user that has no password.  I have full sudo privileges, so I tried this:  sudo su -c "Your command right here" -s /bin/sh otheruser   Then I have to enter my password, but I am not sure if that script is now really running under that user.  How can I confirm that the script is really running under that user now? How to use GCC 4.7 in place of 4.6? So I'm working on a project and I wanted to use some C11 features for C. To use those features GCC 4.7 is required, so I went to synaptic and looked up 4.7, and I found the packages gcc-4.7-base so I installed it[1].   So now that gcc-4.7-base is installed I expected to be able to use 4.7, but no, when I do gcc --version it still shows 4.6.3 even more, when I try to directly call 4.7(via /usr/bin/gcc-4.7) it doesn't exist, though a gcc-4.6 executable does exist.  How do I "activate" GCC 4.7? I read , you do some crazy stuff with update-alternatives, but it doesn't work for me as the gcc-4.7 executable doesn't actually exist on my machine.   Notes: 1. I also saw gcc-4.6-base, so I figured I'd uninstall it, but synaptic attempted to remove every package I had installed and install a Java runtime, so for obvious reason I decided not to remove it. How do I install VMware player on a Mac os X? I went to their site, and downloaded a .bundle which automagically turned into a .txt file after downloading.   Long story short, I can't run the txt file because I guess Mountain Lion Mac os X isn't a strict Linux box and is missing some core components to do that type of installation.  Does anyone know how to install VMware? I want to insert text at the top of an already existing file. How can I achieve this. I tried echo and tee but was not successful.  I was trying to insert repo line at the top of sources.list file from terminal.  Note  I need an one line quick solution, because another answer's method was known to me already Failed to fetch jessie backports repository I'm using a docker image as a base for my own development that adds the jessie backports repository in its Dockerfile and uses that to install a dependency. This image uses the following command to add the repository:  echo "deb http://ftp.debian.org/debian jessie-backports main" &gt;&gt; /etc/apt/sources.list   The problem is that fetching packages from the backports repository now  fails with the following error (this used to work previously):  W: Failed to fetch http://ftp.debian.org/debian/dists/jessie-backports/main/binary-amd64/Packages 404  Not Found  W: Failed to fetch http://deb.debian.org/debian/dists/jessie-updates/main/binary-amd64/Packages  404  Not Found   I looked on that server, and those paths are indeed not present there.  I tried to figure out on the Debian backports site whether this particular repository should still be available, and I didn't find any indication that this was deprecated or something like that.  Is this a temporary issue with the repository, or is the jessie-backports repository not available anymore? And if this is not a temporary issue, what options do I have to use this or an equivalent repository without upgrading to the newer Debian stable version? When sending or forwarding emails using a personal or company domain using a  website or email client, how do I prevent the email from being incorrectly marked as spam? Suppose $G$ is a semigroup and it holds both left and right cancellation. Suppose $G$ is a semigroup and it holds both left and right cancellation. Also for each $a,b\in G$, $xa=b$ has solution in $G$. Prove G is a group.   I know this question looks very "old" style. First I think it's easy for me too since I already practice probelems like "semigroup, $xa=b$ and $ax=b$ have solution , then group" Or "finite semigroup, both left and right cancellation hold, then group ". But I still get stuck... My try:  First of course, for $xa=a$ , there exists $e_a$ such that $e_aa=a$. Now we need to proof $e_a$ is left identity for all elements. Then left inverse exists hence $G$ is a group. But the key is to proof $e_ab=b$ for all $b\in G$. How do you use unlocked rewards after each mission in Splinter Cell: Double Agent? In the PC version of Splinter Cell: Double Agent, how can you use the rewards that you receive after each mission? For example, the shotgun attachment, or the colored night vision?  My list shows that the rewards are there, but I can not figure out how to use them. How can I install a Canon printer or scanner driver? I tried to install the MP190 drivers, but appeared a message show me that requires to have libcupsys2. I understand that libcup2 is an update of libcupsys2.   How do I solve this? Are there proprietary drivers for my Canon printer or scanner? Assuming one wants to travel through China, what are the rules for visa-free access? To be more specific:   How does the 24-hour visa free transit work? How does the 72-hour version work? What does a person ineligible for either of these programs have to do to transit China? Do the programs apply to flights only or do they also work for transit on land? Would a visitor save much hassle by using visa free transit instead of just getting a visa?      NB: this is intended as a canonical question on transiting China Can an ideal in a commutative integral domain be its own square? If $I$ is a non-zero proper ideal of a commutative integral domain, is it possible for $I$ to be its own square?