First a side remark: With xelatex you should never load inputenc (you did it in your example).
Beside this: Theoretically it is possible to use symbols from an open type font in pdftex. But you need to create a tfm-file, you need to create enc-file(s) and a map-entry. And as pdftex can't subset open type you probably also need to split the open type and create various type1 fonts. This means a lot of work - and imho all this new files will count as "strange packages" and so your publisher will not like it. If you really don't want to use any other package you could perhaps cheat like this:
\documentclass{article}
\usepackage{lmodern}
\begin{document}
$\lbrack\!\lbrack x \rbrack\!\rbrack$
\end{document}
Before answering your main question, I’ll deal with the additional one: at least in TeX Live, there is a command-line utility program called texdef
by means of which you can easily see how, and sometimes where, a command is defined, or, more generally, what is its meaning.
The basic syntax is
texdef -t <format> <cs>
where <format>
is the name of a TeX format, e.g., latex
, and <cs>
is any control sequence (not necessarily a command or a macro name). There are also a full bunch of command-line options, among which I’d recall:
-c <class>
, for specifying a <class>
different from the default
article
class;
-p <package>
, or more generally -p [<options>]{<package>}
,
to load a certain <package>
, possibly with <options>
;
-s
, to (try to) show an extract of the source file where a certain
command is defined;
-h
(help) is very useful too, of course!
For example—and I am coming, now, to your main question—if you try
texdef -t latex -p amssymb -s \bold
the answer you get, namely
% amsfonts.sty, line 115:
\DeclareRobustCommand{\bold}[1]{%
{\@subst@obsolete{amsfonts}\bold\mathbf{#1}}}
tells you that \bold
is defined on line 115 of the file amsfonts.sty
, as syntactic sugar to support an old, and now deprecated, command, effectively converting it into \mathbf
.
Best Answer
there is no need for using that macro inside your text. It is an internal definition and has the value
lmr