From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eric Abrahamsen Newsgroups: gmane.emacs.help Subject: Re: Insert for each symbol (upside down A) in an emacs text document Date: Sat, 24 May 2014 09:37:31 +0800 Message-ID: <87mwe8kld0.fsf@ericabrahamsen.net> References: <7zbnuodqy0.fsf@example.com> <7z7g5cdqnp.fsf@example.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1400895280 32308 80.91.229.3 (24 May 2014 01:34:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 24 May 2014 01:34:40 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Sat May 24 03:34:35 2014 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Wo0r3-00034q-Ez for geh-help-gnu-emacs@m.gmane.org; Sat, 24 May 2014 03:34:33 +0200 Original-Received: from localhost ([::1]:46275 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wo0r3-0000js-1S for geh-help-gnu-emacs@m.gmane.org; Fri, 23 May 2014 21:34:33 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38196) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wo0qm-0000jm-K9 for help-gnu-emacs@gnu.org; Fri, 23 May 2014 21:34:22 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wo0qg-0005YJ-O9 for help-gnu-emacs@gnu.org; Fri, 23 May 2014 21:34:16 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:43780) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wo0qg-0005YF-GD for help-gnu-emacs@gnu.org; Fri, 23 May 2014 21:34:10 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1Wo0qf-0002MO-8Y for help-gnu-emacs@gnu.org; Sat, 24 May 2014 03:34:09 +0200 Original-Received: from 221.218.165.70 ([221.218.165.70]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 24 May 2014 03:34:09 +0200 Original-Received: from eric by 221.218.165.70 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 24 May 2014 03:34:09 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 38 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 221.218.165.70 User-Agent: Gnus/5.130012 (Ma Gnus v0.12) Emacs/24.4.50 (gnu/linux) Cancel-Lock: sha1:RHcO71DU6jgUrVwZVpNvap5212k= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:97804 Archived-At: David Hume writes: > David Hume writes: > >> Angus Comber writes: >> >>> I am writing up some mathematical documents and would like to use the for >>> all (upside down A) and there exists symbol (backwards E). >>> >>> Firstly, how do I insert these symbols? >>> >>> Secondly, can I insert into a text document? Or does it have to be a >>> unicode document? >>> >>> Thirdly, will the symbols be visible in the document when viewing on - >>> screen?? >> >> This took some doing, but I found that you can type ctrl-x 8 return and >> then enter the hex code 2200 >> >> ∀ >> ∪ >> √ > > I forgot to include the link: > > https://www.gnu.org/software/emacs/manual/html_node/emacs/Inserting-Text.html > > and the ∃ is 2203. > > You will need to set the buffer coding before you save it I > think. You can also use the unicode names, that's a little easier. For instance, type C-x 8 , then type "FOR ALL" (you get completion), and there's your ∀. E