@samcarter I'm happy someone likes the idea. For the forelegs maybe something with squared angles at the end of the legs (rather than rounded) may be enough
Is \trianglelefteqslant from stmaryrd and the negated version of the symbol present in Unicode? I cannot find them, neither can shapecatcher.
Shape in different sizes:
Related: How to get \trianglelefteq similar to \leqslant?, Another version of the command \triangleleft in amssymb
EDITED A...
@JosephWright I'm not getting it. I removed all additional trees for miktex and it is is still 1.6 seconds compared to 0.4 seconds in texlive will all trees active. I will have to use a process monitor ...
@egreg Yes today is Sant'Agata but I lived near Syracuse. In this morning there is hail and heavy rain. Now there's recreation at school and I can write to you.
Hi, Christian :-) @PauloCereda Hi Paulo :-)
@egreg I think it's raining pretty hard in Catania today. I'm sorry for the many faithful of the devout S. Agata.
Does anybody know how one could load lmodern in such a way that the math font is scaled but the normal text fonts aren't? (\DeclareMathSizes is not an option unfortunately)
@AlanMunn apparently at least one of the students with problems had installed miktex on his Mac (apparently that was what Rstudio recommended according to the teacher, citation missing). Knitr reported that it could not find pdflatex. Turned out that the student had also previously installed MacTeX18. So we had him uninstall the miktex console, and reboot the mac. Then knitr seemed to work without any issues.
BTW: How do one tell knitr to not delete log and aux files afterwards (the log would tell us which engine is used). I don't quite understand why RStudio did not pick up TL18 when it was running and miktex console was in play. The path.d/TeX is present.
@Skillmon that assumes that you only math fonts in math and text fonts in text - that doesn't need to be true, see e.g footnotemarks or bullets, or mathrm.
@UlrikeFischer text font in use is helvet and mathastext replaces most of the math alphabet anyway. But the x-height of the Greek letters doesn't match in maths, so this scale is introduced. Scaling helvet would've been possible, but I'd have to redo many other things in the template, including setting the font size to something that scales down helvet by 15% using its package option and magnifying the document's font size by 17%.
@UlrikeFischer there shouldn't be any passages that use the rm font of lmodern for more than a single word (in the documentation of the documentclass I reversed the definitions of \cls and \pkg to use the roman font) but there I like the effect that they are a bit smaller, tbh.
@UlrikeFischer but in maths the sizes of the Greek letters and the normal symbols in use should match.
@UlrikeFischer I know that the solution is suboptimal, but the whole fonts setup of the document is, because my formatting must match some unpleasant Word template :(
@UlrikeFischer I'm thankful that you remind me of them (and most likely you know more than I do) :) I'll have to test the solution thoroughly, I guess.
@UlrikeFischer and I'm not really good with LaTeX's font setup, because I never worked with it on such a low level.
@UlrikeFischer would dropping fontspec and using \usepackage[T1]{fontenc}\usepackage{helvet}\renewcommand\familydefault{\sfdefault} in LuaLaTeX and XeLaTeX be a very bad idea?
@UlrikeFischer then I'll stick with the fontspec code I currently use. Why do people use LuaLaTeX and XeLaTeX anyway (not a serious question, no answer needed)?
@Skillmon apart from the problem that you would have to make a number of non-ascii chars active to get the correct output, the hyphenation will be wrong too:
\documentclass{article}%
\usepackage[ngerman]{babel}
\usepackage[T1]{fontenc}
\usepackage{fontspec}
\textwidth=0.5cm
\begin{document}
grü\ss en grü\ss en grü\ss en
\fontencoding{T1}\selectfont
grü\ss en grü\ss en grü\ss en
\end{document}
:48876525 \documentclass{article}%
\usepackage[ngerman]{babel}
\usepackage[T1]{fontenc}
\usepackage{fontspec}
\setmainfont{TeX Gyre Heros}
\begin{document}
Some text to test ABCDE helvt grüße
\fontencoding{T1}\fontfamily{phv}\selectfont
Some text to test ABCDE helvt grü\ss e
\end{document}
@UlrikeFischer it's not helvetica but it is or was originally metric compatible
@UlrikeFischer well anyone with a postscript interpretter should have one, I suppose mostly that's the ghostscript nimbus clone these days which comes back to tex gyre heros I guess
@UlrikeFischer same for XeLaTeX? Or does it stick to CM? And what's the correct name for its call in XeLaTeX (sure I could look it up, but if you by chance know anyway). Is the lmodern tt font also the default?
@UlrikeFischer you're brilliant! Thank you very much :)
@UlrikeFischer (hopefully) last question: Is it possible to scale only the maths alphabet of Latin Modern in Lua/XeLaTeX? Can this be done through \setmathrm with the Scale option?
@Skillmon well the answer is the same as with pdflatex: you can scale fonts, but need to be careful as it could be that a math font is used in a text context. But beside this it depends a lot on your fontsetup so you should better ask a proper question.
@UlrikeFischer since the intention is to scale up the maths font to match the main font's height, the usage of maths inside text shouldn't be a problem. So I could do something like \setmathrm{Latin Modern Roman}[Scale=1.17]?
@daleif RStudio recommends MikTeX for Windows, and MacTeX for Mac. The fact that MikTeX now works on Macs will cause no end of support problems in the future, I suspect. One problem with RStudio is that it doesn't provide preferences for setting the paths, so it will always go with defaults, but I don't know how it determines them.
@daleif This is a pandoc problem, and unsolveable unless they change things. They do all the compilation in a temp folder that gets deleted automatically with no way to preserve it AFAIK. And the --verbose option passed to pandoc doesn't do anything w.r.t. LaTeX logs so it doesn't help.
@marmot Indeed yes, but as far as I know, neither you nor me nor most of us in chat are really involved in this issue and we are no moderators or SE staff employees, so it's up to the persons directly connected to the topic to provide an explanation or to keep it secret. There are rumours, of course, but... you know, rumours are rumours
@ChristianHupfer I did not imply you should post all rumors, but it would be great if there was a way the one accused of something could post something which reflects their point of view. It is never a good idea to have all power in the hand of only a few IMHO.
@marmot I won't post rumors here anyway, but I agree with you that the ban is too universal in the sense that there is no possibility of defending/explaining or as you called, reflecting their point of view.
@ChristianHupfer @marmot Involved users can talk on meta. Even in the case if an account is suspended for reasons, one can create an account for posting a question on the meta site, if there's wish for public talk. One can contact the SE staff, or continue talking with the moderators. There may be a good reason to protect privacy and to keep the impact as low as possible for everybody.
@marmot Involved users may be the first to desire transparency and publicity. I guess other users request for transparency comes after protection of privacy.
@StefanKottwitz Sure. This still leaves at least two options: They don't want to deal with it, or there's something faulty on their side. Either is understandable, and knowing that samcarter is quite close to several users here, I hope she'd raise her voice at least privately to someone if SE bullied her in any way.
Does "What's the matter with this guy?" above count as sarcasm, violating the code of conduct in tex.stackexchange.com/conduct ? I don't think it's particularly kind. Given the history, it looks to me as a revenge attempt.
@StefanKottwitz Well, I know about privacy protection of course -- and finally it's the decision of the involved users about going 'public'. But I find the suspension too global, i.e. not even talking in chat is possible -- the by-passing by creating an extra account in order to create a meta post is clumsy, in my point of view...
@ChristianHupfer allowing the user to participate in chat could be a separate decision, that's true. They can be always banned from there afterwards if-need-be...
@ChristianHupfer Sounds like a technical thing though. On the other hand it's like if I'm asked to leave the pub because of an issue, but leaving the window open for me to yell in. That's an SE decision that may not be needed here and now, just there may be cases when undesired behavior just continues in chat and SE may want to prevent it in general. Again, not here and now.
but in any case I think this should be allowed, the remark is not that unfriendly (it is definitely not a revenge attempt) and we should preserve some freedom of speech here instead of pre-emptively self-censoring everything that might come across as problematic
@user49915 It's generally not a good idea to discuss individual users in chat. I don't see anything in the comment thread that would have warranted the comment, but at the same time I don't see any evidence that it has anything to do with revenge. Revenge for what?
@StefanKottwitz The analogy with the pub is nice, but most people in the pub have been witnesses of the issue -- keeping the window open is pretty useless in order to calm the mood... on the other hand, if somebody is accused of a crime/inappropiate behaviour, he/she should given the chance to make some statements. (Regardless whether this is a technical thing or not -- a general remark by me)
@AlanMunn "not a good idea to discuss individual users in chat": I completely agree, and that's exactly why I did not point to the user's profile in question or to that comment directly. It's about the user's comment here in chat. It is not very unfriendly, but you would not like to be talked about you in this way in any case. As for revenge, there is some strain of deleted comments to the user's answer to the question he posted which (luckily) has been deleted by a moderator.
@AlanMunn I made the user improve his answer tex.stackexchange.com/a/473269 a lot, but the improvement involved some serious criticism (now deleted), which the user probably took personally. You can see how the answer developed to get an idea.
@ChristianHupfer Ok, to stay with the spontaneous pub analogy: people in the pub were already involved. But there may be no reason to bring a pub issue to the public, newspaper, employers, Internet - even a pub issue can be healed at some time in the pub between the guys and not in public eye if they don't want that.
@AlanMunn I do my best to treat every member (including the user in question) with respect and courtesy. Ever top-rated users can have bad days, but I don't think that that very comment is very kind.
@user49915 I agree, but at the same time, I suspect it's an isolated incident. I'll usually make a comment if people start discussing users in chat. (I wasn't around a t that time). And I agree that people can have bad days. I guess my approach is to let things pass if it's a first time event, and I try to avoid long litigations in comments when people disagree.
@Marijn As for revenge: there is some pre-history of (now deleted) comments to tex.stackexchange.com/a/473269 . I made the user improve his answer, but the improvement involved some serious criticism (now deleted), which the user might have probably taken personally. You can see how the edit history to get an idea. In any case, would you consider it unkind if someone speaks "What's the matter with this guy" to a third person about you?
@StefanKottwitz Yes, the pub issue is 'sealed' somewhat... but we're 'public' already. And again: It's up to the directly involved users whether they want to 'publish' statements. I fully agree with you however that there is no guarantee of improving the situation by providing some 'speaker's corner' -- somebody who is suspended for harassing/spamming could continue with this dreadful actions in chat if there would be some suspension levels...
@user49915 Two comments (not intended as victim-blaming): (i) your profile description is somewhat confrontational, and (ii) many of us post here under our real names, but you haven't even created a pseudonym name for your account. You may want to think about changing that.
@user49915 I think both @Marijn and I agree that the comment isn't appropriate.
@AlanMunn As for my profile, it's my intention not to produce any BS. As for the pseudonym, I think everyone knows my real name here (if you don't, you might wish to tell me how to deliver it to you), and I got serious flaming including "cultual background" remarks while I had it.
@user49915 I have no idea who you are, nor am I particularly interested. But having a userxxxx username will (rightly or wrongly) likely be interpreted by other users in a somewhat negative light. But of course it's up to you what you do.
however, I do feel that there should be some freedom to post (mildly) inappropriate comments, I think that other users in chat are capable of interpreting such comments in context
I am aware that this opinion conflicts a bit with the CoC but let's not make things bigger than they are
@AlanMunn Well, I'll re-think about the pseudonym. My posts shed some light on the contents I work with, which should actually be closed-source. So, if I put my real name here, my employer might have an issue with me in case he/she ever looks up or in case people who envy me in real life do their best. Of course, I could invent a pseudoname such as BadStrong (or whatever), but it is no better than user49915.
@Marijn Alright, agreed. Let's not make issues bigger than they are.
@user0 changing your name while refering to "my answer" in your meta question just seems to make things confusing (I know the link was there ) but I went back and forwards a few times before deciding it's the same user. I'm (slightly:-) interested why you say "everyone knows my real name here" why do you assume any of us know your name?
I see. I apologize; it was a bad idea. I guess I'd better revert from user0 to user49915? As for my real name, I don't have any problem of telling it to anyone, but in some kind of private message. (So, if anyone wishes to get it, I guess I'd need that person's e-mail.) It was listed on my profile for some time here on TEX.SE months ago.
@StrongBad I think it's for the others to judge than you and me. Besides, I thought of BadStrong, not StrongBad, remember?
@Skillmon My thought was that the zero is better to memorize than any other combination of digits such as 49915. Now, as David says, my change incurred a problem for him, so, I'm feeling upset and am thinking of reverting.
@AlanMunn I agree. I'll see if my older test mac book air can run miktex and rstudio ten we can do some tests.
@AlanMunn it seems there are some options for it to leave the tex file (I'm not sure what they are doing, apparently they're writing in R-markdown and converting using knitr, but I don't know if knitr then is using pandoc)
@daleif Yes, for Rmd files it definitely is. For Rnw files, it's not.
@AndréC Except he's almost never in the chat, so un-pingable.
@daleif Rnw files are basically LaTeX files with embedded R. knitr processes these directly with the relevant TeX engine. Rmd files are markdown files with embedded R and these are processed by knitr using pandoc.
@ChristianHupfer I now understand why it is a long story. Thanks @PauloCereda for giving subtle checkpoints ;) @marmot I would agree with the powers being transparent.
@PhelypeOleinik Exactly, it says here that this bug is fixed and according to my tests, it's still there. sourceforge.net/p/pgf/bugs/504 Is that a mistake on my part?
@daleif I can see in the context of a class whose content is stats or experimental methods or whatever, having people use Rmd makes sense, since they don't need to learn any LaTeX to use it, but they still learn about producing reproducible documents, which is all the rage. Personally I'm not really a fan, it just makes writing slower and (as you found out with the errors) hides lots of relevant stuff, so debugging is much harder.
@AndréC Hm. I tested here and the row sep seems to have no effect indeed. I think it's worth commenting this in the linked issue so that Henri (or someone working at this) can fix it.
@AndréC Or perhaps this fix wasn't released yet...
@AndréC No, the fix dates from 2019-01-21, and the CTAN version (and mine) are from 2019-02-02. It seems that the bug's still there :/
@PhelypeOleinik That's why I ask the question here: how do I know what 3.1.1 contains if closed-fixed bugs on official repository are in fact not fixed?
@AlanMunn exactly, another issue here is that the lecturer only has windows (and perhaps Linux in a VM), but does not have a mac, and when at least 30% of the students are on mac, you just want a recipe that works.
@AndréC In an ideal world you'd have a CHANGELOG file amidst the pgf sources which would contain every change made until the version you are using. I didn't find one, but it might exist somewhere.
@AndréC Another thing is that the "master" branch usually is not in sync with the latest release, which is (supposedly) when the code was stable for a release. So some fixes might still need more testing before being released.
@AndréC In fact, if you click the commit link for the bug in question and compare that with the code in your machine you'll see (if your version is the same as mine) that the changes are not there, so you can conclude that these changes are not in the current release, even though they are fixed in the master branch.
@PhelypeOleinik According to this changelog, only the 503 bug was cancelled : fixed bug #503: regression prevented the use of dvips. This reverts the bugfix for bug 362
@AndréC However, if you look at the commit I linked you can see that it's fairly short, so if you add this ↓↓ to your document after loading the matrix library the row sep key will work:
@AndréC As I said, in an ideal world. In the real world people need to fix the code and remember to write that down in the changelog, which not always happens :P
@AndréC No! This is a one-time fix for when you actually need it. The correct procedure is to wait for the official release of the next version. When that version is released this fix can be removed from your document.
@AndréC But again, a ideal-vs.-real world scenario. If you do need the fix then you use that patch until the official release.
@PhelypeOleinik I misspoke, I'm sorry. I meant do we have to check each of the bugs marked as fixed since version 3.1 to see if they are integrated or not in version 3.1.1?
@AndréC Oh :) Still, only if you happen to come across such bug, otherwise it's a waste of time. And some bugs can't be corrected that way, but only changing the package code.
@PhelypeOleinik It's because it's a waste of time that I asked the question about what's new in version 3.1.1 here. I have the slightest hope that those who have answers will answer here or on the wiki here: tex.stackexchange.com/q/469007/138900
@AndréC The less painful way would be the changelog, which doesn't say much. Another way would be to browse the commit pages of version 3.1.1 since 2015 (last CTAN release) and browse the code to see what changed and document that. It's possible, but very time consuming, so I doubt anyone will have the time to do that, unfortunately :/
@PhelypeOleinik I am more modest than you, I am asking here the question of the change between 3.1 and 3.1.1, it is much less work. I asked the question about the new features of 3.1 on the official website here : tex.stackexchange.com/q/469007/138900
@AndréC Ooh :) Sorry. I think this is an answer then: This page shows 4 commits since the release of version 3.1. If you look at these, one of them is a change to the makefile, two more are changes to the changelog, so these basically don't affect you at all. Three of them are changes to the manual, from which two apparently are to the shadings library.
@AndréC The only proper code change is here, which is a proposed solution to a bug and caused another one :)
@AndréC So basically there is no significant difference from 3.1 to 3.1.1
@PhelypeOleinik This version should have been called 3.1.a and not 3.1.1 just as the last slight bug modification of 3.0.1 was called 3.0.1a. This would have clearly shown the little change between this new version and the previous one.
@AndréC 3.1.1 only reverts one broken bug fix which was introduced in 3.1 and broke pgfplots. It's related to the dvips driver, so if you don't use dvips nothing changed.
@PhelypeOleinik The book is much more better that the movies (at I think there were two, the last one with george clooney). If you want to see the movie please read the book before!
@Kurt I usually go for the book first. When I started reading A Song of Ice and Fire the show was on season 4, I think, but I refused to watch it before reading. Although nowadays it has diverged a lot from the (non-existing) books.
@yo' @user0 That's the problem with censorship. You lose all information and nobody knows what everyone else is talking about anymore. I'll repost my message from memory for reference: “^^^ What's the matter with this guy? I have never seen anyone begging the question this hard.”
@PhelypeOleinik Once I saw the movie "Never ending story" (the book is from Michael Ende) and was very disappointed. In the book Fuchur was a dragon, in the movie a little bit to big dog -- terrible. Thats the reason I never watched "Lord of the Rings" because I do not want to disturb my phantasy about the persons in that great book (in the older translaten to german, the new translation is awful).
@Marijn @yo' @AlanMunn As you see, the person in question reposted it so that folks see it. When I see a repeated (mildly) inapproriate comment, I tend to think that the person in question might have some personal agenda. So, "What's the matter with this guy?", one of the most top-rated folks at tex.se?
@AndréC I better not admit that I maintain a bundle where I use a static <a>.<b>.<c> version number model for each package, where <a>, <b>, and <c> are numbers, in which both <a> and <b> are 0 and <c> is just increased by one on each day I made changes to one of the packages, regardless how big those changes are... I further don't admit that currently the individual versions are 0.0.9, 0.0.5, 0.0.5, 0.0.4, 0.0.7, 0.0.3, 0.0.5, 0.0.1, 0.0.2
@user0 I actually think you're reading too much into this. But once the comment got deleted, it opened up a can of worms about the deletion itself, hence the repetition of the comment. So I would just let this go. As I've said before, I don't think it's good to discuss users in chat. But I also liked your "sometimes even good users have bad days". So let's leave it at that.
@AlanMunn @ArtOfCode I would simply appreciate it if some users could potentially see their words as (mildly) inappropriate. A simple withdrawal would suffice; and then it's stopped.
@user0 If you have an issue with something someone has said, and polite discussion hasn't got anywhere, then raise a custom flag on it for your moderators to handle. That's what they're there for. Continuing to hash it out in chat when it's already gone nowhere just results in everything going backwards.
@user0 Fair enough, but at no point did you ask @HenriMenke for such a withdrawal. And you've received plenty of agreement here that the remark was somewhat inappropriate. But I do agree with @ArtOfCode that this will go nowhere.
@ArtOfCode Although flagging things in chat should be a last resort, since it fills up the room with mods from everywhere, most of whom have no idea about who's who. So it can make things worse, not better. A better strategy is to simply ping one of the moderators in chat, two of whom are regulars here.
@AlanMunn The very first message was directed not to me, so, I'm not to reply to it. The second was directed to me and one more user. So, as you see...
@user0 However, I refuse to delete the message, because I oppose censorship. I rather live with the shame than withholding information from the public.
@user0 I know that I don't have the power to preserve it, but if we start deleting anything that anyone might have ever found offensive we will start deleting our own history.
@HenriMenke Hi, I was the one who had deleted your message. Yes, in this case I do agree what you said wasn't offensive as such, but it was flagged. The tone seemed slightly inflammatory and might have seemed offensive to someone else. We usually tend to err on the safer side.
@user0 as being someone who missed the message in question, I can assure you that there is a certain degree of curiosity invoked by all the messages about that comment.
@user0 given your new pseudonym a second thought, I came to like it.
@Blue The problem I have with deleting offensive statements is that it is not clear when to stop. In my experience such attempts to censorship always overstate the case and are eventually used to silence unwanted opinions.
@Blue Thanks! It's usually a friendly easy chat of the same fellows here, so I would not be worried, here. Anyway, welcome here at the occasion of a flag. :-)
@HenriMenke Well, it might happen at some time, on-topic versus off-topic. On the main site, all technical opinions are welcome. On the meta site, all site related opinions are welcome. In the chat, it's an easy mix, so both tech and site opinions are welcome, while opinions on persons are perhaps not the best fit on this platform. Once something is flagged as off-topic or offensive, people have to decide.
@Blue I think we can be better in this respect than the British parliament, in case you watched them being out of order constantly. As for the particular comment you removed, you might read above the history of why I considered it inapproriate and why I accepted the apologies and consider the past issue closed.
Anonymous
@HenriMenke Yes, I can understand your point of view. I'd just say that we try to take the shortest paths to diffuse problems. As far as borderline offensive messages are concerned, deleting them and silencing users solves our problem faster. Extended conversations regarding such topics usually generates more flags, which instantly notify 500+ mods and 10k-ers around the network, and that can be really annoying for us.
Anonymous
And yes, we absolutely censor and silence users as and when necessary. Chat isn't a bastion of free speech. It's very much a part of a for-profit website (access to which is a privilege and not a right).
@HenriMenke I thought you were in favor of preseving the history. As for me, I'm ok with deletion of everything in chat concerning me or my question as of the last several days.
@Skillmon Concerning the pseudonym: thanks. I pondered on "user−1" or "user −1", where − is a minus, but I thought it could be mistaken for a hyphen, so, ... The more I see "user0", the more I get used to it. The downside of my new pseudonym is that now I'm getting more easily recongizable, which makes me feeling unwell.
@StrongBad Is there a bit of a self-portrait there :-)?
@user0 you don't have to. Today was one of the worst days I ever experienced in this chat (and I missed a great deal of it, it seems). Usually we're very welcoming and friendly.
@HenriMenke @user0 The chat is confusing anyway sometimes. So that's not a reason for deleting more messages as one (just?) was removed that lead to a flag. A good human and understanding talk, so thanks for that!
@StefanKottwitz The issue is closed as far as I'm concerned. But if @blue deletes everything starting with Henri mentioning my question, I'm ok with that.
I'm just out of curiosity. Why people here (TeX.SX users) love ducks so much? What's wrong with other animals, like dogs, cats, birds, fishes, geese, swans, marmots, penguins, or much more other animals? They are all very friendly and lovely!
I just make this picture myself after spending an h...
@AlanMunn @marmot @Skillmon It's fresh and involved people might better clarify and solve it in an internal discussion whereas a public chat might not be productive in this regard.
@Skillmon Sigh, was it necessary to open pandora's box by mentioning ... those birds that @DavidCarlisle prefers most in a fried form together with orange sauce? ;-)
@StefanKottwitz I am a fan of transparency. This does not mean I want to pressure anyone, but I simply want to understand what happened because I do not have the impression that she is one of the users who harms others, so I am surprised by the suspension.
@user0 Yes, I'm in favour of preserving but it was made clear to me that the moderators will just delete posts at will, which I cannot prevent. It would be nice if they at least cleaned up the mess the deletion leaves behind.
@ChristianHupfer either that, or pineapple pizza, or @PauloCereda's thesis. You have to pick at least one. And the latest addition is @DavidCarlisle's beer or @UlrikeFischer's cider, but those aren't yet enough to become wholesome.
@HenriMenke In 2018, we got 13,493 comments flagged by users. Sometimes it's hard to go through a longish discussion to check what is actually offensive or off-topic besides the flagged comment. And I better not delete if not needed, not flagged "mess" comment then
@StefanKottwitz Could it at least be handled as on the main site? When an answer is deleted because of spam or offensive content, it is just hidden rather than entirely deleted. That way no one has to see it but it's still there for people to understand the discussion.
@StefanKottwitz I'd favor it that if anything else happens at all with the topic, it will be the deletion of ALL the discussion on the matter. I don't like partial deletion or partial hiding: it would create a bias towards messages that are not deleted or not hidden or, more generally, some bias at all. As for now, I find the state of the messages ok.
Is \trianglelefteqslant from stmaryrd and the negated version of the symbol present in Unicode? I cannot find them, neither can shapecatcher.
Shape in different sizes:
Related: How to get \trianglelefteq similar to \leqslant?, Another version of the command \triangleleft in amssymb
EDITED A...
I'm just out of curiosity. Why people here (TeX.SX users) love ducks so much? What's wrong with other animals, like dogs, cats, birds, fishes, geese, swans, marmots, penguins, or much more other animals? They are all very friendly and lovely!
I just make this picture myself after spending an h...
