Emacs 24.4.1中的下標未正確顯示

Question

我正在進行使用unicode下標k（“\\ _k”）的賦值。 但是，我沒有得到下標k，而是得到了這個：

！[] [1]

仍然可以使用帶有數字和一些字母的下標，但不能使用'k'。

我最初遇到了emacs 24.3的問題，然后被告知更新到24.4。 這個問題仍然存在。

有沒有其他人有這個問題，並找到了解決方案？

我在使用Emacs v.24.4.1的Mac上運行

提前致謝

編輯

這是我的.emacs文件：

(load-file (let ((coding-system-for-read 'utf-8))
             (shell-command-to-string "agda-mode locate")))

(set-default-font "-apple-DejaVu_Sans-medium-normal-normal-*-*-*-*-*-p-0-iso10646-1")
; Change Control-c Control-, and Control-c Control-. in Agda mode
; so they show the normalized rather than the "simplified" goals
(defun agda2-normalized-goal-and-context ()
  (interactive)
  (agda2-goal-and-context '(3)))
(defun agda2-normalized-goal-and-context-and-inferred ()
  (interactive)
  (agda2-goal-and-context-and-inferred '(3)))
(eval-after-load "agda2-mode"
  '(progn
     (define-key agda2-mode-map (kbd "C-c C-,")
       'agda2-normalized-goal-and-context)
     (define-key agda2-mode-map (kbd "C-c C-.")
       'agda2-normalized-goal-and-context-and-inferred)))

; This defines backslash commands for some extra symbols.
(eval-after-load "quail/latin-ltx"
  '(mapc (lambda (pair)
           (quail-defrule (car pair) (cadr pair) "TeX"))
         '( ("\\bb" "𝔹") ("\\bl" "𝕃") ("\\bs" "𝕊")
            ("\\bt" "𝕋") ("\\bv" "𝕍") ("\\cv" "⋎")
            ("\\comp" "∘") ("\\m" "↦") ("\\om" "ω"))))

; This sets the Control-c Control-k shortcut to
; describe the character under your cursor.
(global-set-key "\C-c\C-k" 'describe-char)

(custom-set-variables
 '(agda2-include-dirs
   (quote ("." "/Users/dylanthiemann/Dropbox/University of Iowa/2nd Senior Year/Spring 2015/PLC/ial")))
 )

代碼來自Agda：

module bool-kleene-thms where

open import bool
open import bool-kleene
open import eq

&&ₖ-idem : ∀ (b : 𝔹ₖ) → b &&ₖ b ≡ b
&&ₖ-idem b = {!!}

tt-&&ₖ : ∀ (b : 𝔹ₖ) → tt &&ₖ b ≡ b
tt-&&ₖ b = {!!}

||ₖ-idem : ∀ (b : 𝔹ₖ) → b ||ₖ b ≡ b
||ₖ-idem b = {!!}

||ₖ-tt : ∀ (b : 𝔹ₖ) → b ||ₖ tt ≡ tt
||ₖ-tt b = {!!}

||ₖ-ff : ∀ (b : 𝔹ₖ) → b ||ₖ ff ≡ b
||ₖ-ff b = {!!}

編輯2

Ctrl-u Ctrl-x =對受影響角色的結果：

             position: 91 of 830 (11%), column: 2
            character: ₖ (displayed as ₖ) (codepoint 8342, #o20226, #x2096)
    preferred charset: unicode (Unicode (ISO10646))
code point in charset: 0x2096
               script: symbol
               syntax: w        which means: word
             category: .:Base, L:Left-to-right (strong)
             to input: type "\_k" with Agda input method
          buffer code: #xE2 #x82 #x96
            file code: #xE2 #x82 #x96 (encoded by coding system utf-8-unix)
              display: terminal code #xE2 #x82 #x96

Answer 1

我需要安裝新字體...我使用這個http://dejavu-fonts.org/wiki/Download然后使用Font Books安裝。 這個問題隨后得到了解決！