@manooooh My option would be \exists e\,\forall x(x*e=x\land e*x=x). Using x\in A is wrong if you're expressing the axiom for the neutral element in formal language. Also combining two equalities into one is generally not allowed in formal languages.
@manooooh Of course, my real choice would be “there exists $e\in A$ such that, for every $x\in A$, $ex=x=xe$”
@egreg hm, I am studying Discrete Maths and it is common to see those expressions. So I guess I am not using formal languages. But it is valid your comment IMHO
@egreg it is possible to ask this question in the main site or would it be closed as "Subjective"?
Why this still doesn't work in XeTeX? %$\circ$\fontname\textfont1 % cmmi10 %\meaning\circ % \mathchar"220E \font\1="cmmi10" \the\XeTeXcharglyph"220E % still zero
I'm struggling to set the current font to math font which supports \circ.
Oh, never mind, I needed to add \1 at the end of \font\1="cmmi10". Now I get "Cannot use \XeTeXcharglyph with cmmi10; not a native platform font."
@egreg I think pseudoformulas help students to understand what they need to prove in a statement. Of course that should not replace natural language, which is more fluid
@UlrikeFischer looking at the url, I was wondering: is there really a website devoted to indifferent languages?
I got a mortarboard badge. The recent rep recalculation is the only explanation I can think of, since I haven't been active on the main site for a while.
Re the comment on this question: It does bug me no end that the media typically refers to temperatures in units of coulomb, sometimes helpfully converted from farad.
Hi, asking here for a suggestion/advice... as you probably don't know, placement of transistor text in circuitikz is quite broken (or has strange features, choose your own).
Text is typeset near the upper terminal and not centered, and when using flyback diodes it overlaps. I refrained to change it in name of backward compatibility, but now that I want to release a 1.0 I am not so sure...
What do you think? Shuold I fix it (I can release a compatibility circuitikz-0.9.6 also, to help people surprised by it)? Should I add (another) option?
@Rmano I think giving a package option to get the old terrible behaviour would be best (similar to what I did for ducksay, it has a version key with which you can specify that you want the old, bad behaviour back).
@Skillmon what I am doing is releasing with the package the old versions of everything when I do some incompatible change... so for example you can now use circuitikz-0.8.3 if you want the (broken) old direction of batteries back.
@Rmano as a complete copy of the package? Isn't that much duplicated code for this? I.e. I distribute the files ducksay.sty which loads either ducksay.code.v1.tex or ducksay.code.v2.tex and ducksay.animals.tex so that I don't have to include duplicate code (everything shared between versions remains in ducksay.sty, and all the animals are in a file of their own).
Yes, I know it's a lot of duplications, but a lot of things I added are all over the map to fix bugs or things like that, and I do not want to litter the code with \ifs all around. I don't know, labels are truly a better approach than node text (that can't be unrotated), so maybe I will let everything like it is...
Thanks for the comments anyway; I would like to have the nice mechanism that for example, pgfplots has with its compat key, but I think it's quite complex at this stage to add it retroactively. Maybe I'll try to add it past-1.0...
@DavidCarlisle (blush) I read the article on TUGboat..., but given that I am "running" with TeXLive 2017 (the PC here have deployed Ubuntu Long Term...) I did not try with it. I have in my plans to change to that mechanism after 1.0; I am not sure on how complex it would be. For now I am packing circuitikz-0.8.3.sty-style files in the package...
@UlrikeFischer Recently, there was a question about Flash obsolecence and the consequences for future media support in PDF. Therefore, I'd like to know whether PDF-2.0 ISO has something new to offer. Would you please do me the favour and have a look?
@Rmano you need to do that anyway (look at array-*.sty in tools) the [=..] just gives a slightly nicer interface to it (or actually a not much nicer interface but one that if standardised across multiple packages, people will get used to)
@AlexG well yes. the chapter is much longer than in the older version. 9.2 (sounds) and 9.3 (movies) are declare obsolete in pdf 2.0. They are superseeded by 13.7 "rich media" which start with
"PDF 2.0 introduces rich media annotations providing a common framework for video, audio, animations and other multimedia presentations. For the allowed instances of rich media see "Table 342 — Entries in a RichMediaConfiguration dictionary". The framework includes general controls most of which are commonly needed to stage, present and control an animation, video or other interactive presentation."
@UlrikeFischer yes epstopdf is OK actually (unless we switch it to use l3image at the back end) but it means that the core graphics package has a dependency on teh entire oberdiek collection which I want to avoid
@UlrikeFischer it still does actually as it pulls in \RequirePackage{infwarerr}[2007/09/09] \RequirePackage{grfext}\relax \RequirePackage{kvoptions}[2007/10/02] \RequirePackage{pdftexcmds}[2007/11/11] but that is part 2.. and can be attacked without having to rebuild the whole collection
@UlrikeFischer Ah ok, RichMedia. Thanks a lot! RichMedia is what media9 already implements. But RichMedia is based on Flash! RichMedia isn't new, as of Acrobat 9 in fact, and used to be defined in an addendum to the PDF-2008 specification. Now that it is blessed as being part of the ISO, I am really curious how Adobe will resolve this.
@AlexG I don't see any reference about flash. It sounds everything rather vage about the actual media type. But I don't have now the time to look more closely.
@HaraldHanche-Olsen -- Sigh. I guess I'm guilty of that too, but the only computer I've got available doesn't deal well with Unicode, and it's so old that trying to upgrade would almost certainly result in nothing working at all. I'm responsible for too much to take that chance. (I hope this situation can be fixed early next year.)
@JosephWright I got fed up of not being to tell my github organisations apart so I have added images to them all, but uktug branding still a bit feeble. I stole Robin's picture from his interview here, hope that's OK (there doesn't seem any place to credit uploaded images in the gh gui)
@DavidCarlisle -- The last time I checked (while I was still gainfully employed), github access had to be on an individual basis. So I don't remember whether or not I ever registered; if I did so then, it would really have been for the benefit of AMS tech-support, although I would have had to register in my own name. (And that's the main reason why I didn't add the large number of amsmath "issues", but sent you a separate list.)
@DavidCarlisle -- Regarding TUG association with github, I'm not aware of any, but can check.
@DavidCarlisle -- I figured that was where the graphic was from. If it's the TUG logo you're looking for, I'm sure I can find that (or ask someone who knows where it's hiding). It will be on the TUG pages, not on github; probably a .jpg or .eps file.
Hello, everyone. Don't want to bother you but I temporarily ran out of permission to ask questions. I can't make the following regex work even after escaping `{`, `}`, `[`, and `]` (which aren't escaped in this raw example): `(?<=\.(?:\s{1,}))[a-zA-Z]`. What's the reason?
I'm trying to use it in expl3. The expression works but not in expl3.
@barbarabeeton no if tug don't have a github organisation then tug logo is not needed:-) they are not "real organisations I am in" they are "github groups to which I have write access"
@barbarabeeton I have no control over the images and organisations shown there other than not being in the organisation. So in the case of uktug it's showing an H-style automated gravatar but only an admin of the uktug github can change that, I can't change it from my profile
\documentclass[margin=5mm,varwidth]{standalone} \usepackage{expl3} \begin{document} \ExplSyntaxOn \regex_new:N\myExp % should match first letter after dot \regex_set:Nn\myExp{(?<=\.(?:\s){1,})[a-zA-Z]} % doesn't match, for some reason \regex_match:NnTF\myExp{hello world. this is. some test}{match!}{} \ExplSyntaxOff \end{document}
dot followed by optional spaces are in lookbehind, before letter space is in non-capturing group (inside lookbehind) to allow for quantifier (of spaces, 1 or more)
@PauloCereda and @yo' (and anyone else who enjoys classical music with a little extra in the way of visual interest) -- "Line riders" is a rather amazingly coordinated animation. There are several, but I'd start with this one: youtu.be/vcBn04IyELc
@FaheemMitha it depends, clearly in expl3 code where there are thousands of macros it would be inconvenient and slow to not be able to use \foo_bar_zzz:nnn to refer to every single token in the code, but for one off use csname can work
@FaheemMitha nothing special about _ (there are no special characters built into tex) same is true of & or \ or any other character
@barbarabeeton, ha, I seldom listen to classical music but the video was amusing (not only funny but kind of sad, poor cyclist[s]). Looks like a very complex program was involved in making it too. I wonder if it was done with TeX (it must've been).
@FaheemMitha Yes, it did change quite a lot at least in terms of wording and orthography. That does not mean that the words did alter that drastically, we cannot understand Goethe's German anymore (although some idioms may not be in use anymore)…
@TeXnician Oh. Your wording is a bit confusing. Specifically the second sentence. But I think you mean to say that Goethe is still understandable by a modern German speaker.
@PhelypeOleinik OP's style to not give any hint of actual use case but to ask a series of low level tex questions, all good for earning tex-core rep if nothing else:-)
@PhelypeOleinik the trick to getting gold badges is to ignore the OPs instructions and just give sensible answers anyway, see I got a tikz badge like this:
@FaheemMitha The new years resolution is to get a tikz gold badge by answering tikz question with tex primitives, picture mode, or if really pushed pstricks, doing quite well so far this year.
It was suggested in chat
http://chat.stackexchange.com/transcript/message/9482087#9482087
That picture mode would be the ideal tool for the job here:
\documentclass{article}
\begin{document}
\begin{picture}(200,100)
\put(30,40){\line(1,0){150}}
\put(30,40){\line(0,1){60}}
\put(30,100){\line(...
@JosephWright ok, interesting to know. Well, if you wanted to discuss soemthing, I can certainly seek opinion of others and stuff. Btw, any plans for Rochester?
@yo' I was just pondering, really: you get some quite 'cute' HTML5-based sites for learning programming. Even a dozen short pages done in Markdown/Jekyll could look good and link through to a 'real' TeX system (hence thinking Overleaf, though of course it then gets 'interesting' if supported by a user group)
@JosephWright well, I know it's not interactive, but check "Overleaf learn" (not at a PC, I hope google find it), which is an actively maintained wiki by OL.
It's true tho thatcs it's not with "try this directly in OL" links that would open a template...