Small labels with proof.sty Is it possible to obtain small labels with proof.sty?  \documentclass[a4paper,12pt,twoside,openright]{book} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage[german,english,italian]{babel} \usepackage{easylist} \usepackage{amssymb,amsmath,amsthm,varwidth,bussproofs,syllogism, mathrsfs, proof} \begin{document}      $$\infer[\wedge I]           {(A \wedge B)}           {A &amp; B}      \qquad      \infer[\to E]           {B}           {(A \to B) &amp; A}      $$ \end{document}   I tried to use \small, but it doesn't work.
Size commands do not work in mathmode MWE:  \documentclass{article} \begin{document} $\wedge{\small\wedge}{\tiny\wedge}$ \end{document}   All the \wedges have the same size...
Looking for a (short?) story about a cryo ship looking for habitable planets I read this story/novella at least 15 years ago, probably 20 or more. It is about a ship, travelling through the universe, looking for habitable planets. Why, I can't remember. People are held in Cryo Stasis and I think they are wearing nothing in the chamber but some kind of mesh. Every time the ship gets close to a planet it wakes one or two of the people (one woman, one man?) to check it out but they never find anything good. I think in the end they wake up and discover, that they have arrived back at Earth. Other details are very vague but I seem to recall there was lots of stuff about a (blue?) light, dreaming/dreams and something about the cold, or cold blue lights or similar. Does that ring a bell for anyone? Proof of $Y=F_X(X)$ being uniformly distributed on $[0,1]$ for arbitrary continuous $F_X$ Why is spawning threads in Java EE container discouraged? One of the first things I've learned about Java EE development is that I shouldn't spawn my own threads inside a Java EE container. But when I come to think about it, I don't know the reason.  Can you clearly explain why it is discouraged?   I am sure most enterprise applications need some kind of asynchronous jobs like mail daemons, idle sessions, cleanup jobs etc.  So, if indeed one shouldn't spawn threads, what is the correct way to do it when needed? SEVERE: A child container failed during start java.util.concurrent.ExecutionException: org.apache.catalina.LifecycleException: jQuery - auto size text input (not textarea!) View my questions with unaccepted answers There is this new acceptance rate feature that appears beneath my signature card when I ask a question.  How do I display all my questions with unaccepted answers? How can I easily see the list of questions that have not been checked as accepted? I want to start using the terminal more often, but I don't know what are the different commands available to me. Is there a way to list all the different commands that I can make use of? Rep line graph: Say "only 200+ accounts displayed" at all times As discovered/discussed , the cross-site reputation graph doesn't show accounts that have less than 200 reputation. The problem is that, unless you have zero accounts over that bar, it doesn't tell you that. I think the "Accounts must have a minimum of 200 reputation to appear in this graph" notice should appear either (A) at all times or (B) if you have any accounts below 200. Let $U,W$ be subspaces of a vector space $V$. Show that   $$\dim(U)+\dim(W)=\dim(U+W)+\dim(U\cap W)$$   Hint: Show that the map given by $L:U×W\to V$ given by $L(u,w)=u-w$ is linear.   I can show that $L:U×W\to V$ given by $L(u,w)=u-w$ is a linear map. I also know that the dimension of $U×W$ is $\dim(U)+\dim(W)$. What do I do next? Any hints? Windows XP INSTALL BSOD Recently I got a virus on my computer that completely wiped the hdd. I am trying to install windows xp to this: DV7-636bus laptop from HP, and I get the following BSOD:  A problem...............and Then Select Safe Mode.  Technical Information:  ***STOP: 0x0000007E (0xC0000005,0xF73B9D66,0xF78D1EA0,0xF78D1B9C)  acpi.sys - Address F72B9D66 base at F73AE000, Datestamp 480252b1   Does any one know of a solution for this? Filter subscription email is not being delivered (June 2019 - Feb 2020) I have created a custom filter in  and specified that I would like to get email updates:  However, I never got a confirmation mail nor any notifications based on my filter. I tried the &quot;resent confirmation mail&quot; button on the right hand sidebar:  But again nothing happens. The mail address should be fine  I used it for all kinds of notifications from Stack Exchange. For example the rep recalculation email arrived just fine on this address.  I retyped it several times to make sure there really isn't any typo  I double checked that it did not end up in the spam filter  I don't think it is a problem with my particular email provider, users with other mail providers seem to have the same problem, see     This is possibly related to , but this claims to be &quot;status complete&quot;.   EDIT: Although the &quot;status-completed&quot; tag was added, the problem still persists  EDIT 2: As of Feb 2020, it finally works I want to encrypt a USB stick, and be able to decrypt it on Windows as well as Ubuntu. How do I do this &amp; what programs do I need to use? I'm having trouble figuring out how to iterate over map layers. I can access the currently highlighted layer in the table of contents via iface.activeLayer() but I want my code to operate on all layers.  I don't see anything in the API that provides easy access to this functionality and couldn't find a good online example but maybe I missed something? When rolling percentages, do 1d100 and two d10s (percentiles) share the same probabilities? Showing that $G$ is a group under an alternative operation. There are several ideas on hard determinism, but the core seems to be that in an interconnected existence, there can be no "actions" (free will), but only "reactions" (determinism). An action of free will would have to be a separate entity outside of existence, so we'd say it can't occur.   Now fast forward to Joe Schmo the robbing/murdering/rapist.  Joe wasn't born in some infinite bliss utopia, then decided one day to invent the concept of scumbaggery.  He's a product of an incomprehensible number of variables - maybe some are apparent like his dad was a violent alcoholic or whatever, but most likely it's far more complicated than that.    So that's fine - I get all that - but if that's the case, then how can you ethically deal with people like that?  You can't hardly let them do what they please at the expense of society, but then how can you get medieval on them when they're basically riding a wave?  I think that's a big reason why people fight concepts of determinism that mitigate or eradicate the concept of free will - now everyone has a license to do what they want and how can you punish them, it's not their fault!  How would/could/should you consolidate hard determinism with responding to criminal acts? When and why will a compiler initialise memory to 0xCD, 0xDD, etc. on malloc/free/new/delete? I know that the compiler will sometimes initialize memory with certain patterns such as 0xCD and 0xDD.  What I want to know is when and why this happens.  When  Is this specific to the compiler used?  Do malloc/new and free/delete work in the same way with regard to this?  Is it platform specific?  Will it occur on other operating systems, such as Linux or VxWorks?  Why  My understanding is this only occurs in Win32 debug configuration, and it is used to detect memory overruns and to help the compiler catch exceptions.  Can you give any practical examples as to how this initialization is useful?  I remember reading something (maybe in Code Complete 2) saying that it is good to initialize memory to a known pattern when allocating it, and certain patterns will trigger interrupts in Win32 which will result in exceptions showing in the debugger.  How portable is this? Can a curve object modifier created geometry be used as boolean factor This question is related to .  Let me use an exemple to illustrate what I mean.  We've created a text object (made of curves). It can't be used in a boolean modifier as it won't appear in the list of usable objects in the modifier because it's a curve object.  But if we add a remesh modifier on the text, geometry is created from the shape.  The object could be used as boolean if we convert it to mesh. The remesh can't be applied on curve object.  My question is : Can we dynamicaly use the remesh modifier created geometry as real geometry or make the boolean modifier consider the text modified object as a real mesh?  The idea behind this is to be able to change the text (or any curve 3D shape) without having to make it a real mesh.  (don't hesitate to edit my poor english to make it understandable :) ) Meaning of 'no earlier than X days after Y' I am having trouble understanding the following notice on the American Airlines AAdvantage (miles account) :     Note: Mileage credit requests can be submitted no earlier than 15 days   after all travel is completed.   What does it exactly mean? Which of the following statements is the correct interpretation?   I have to wait for 15 days after all my travel is completed before I can request my mileage credit If I want to request my mileage credit, I have to do so within 15 days after my travel is completed Something else   In any case, I wonder, is the original statement grammatically correct? Good practices for organizing notes